<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="en">
<head>
<title>Source code</title>
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
</head>
<body>
<div class="sourceContainer">
<pre><span class="sourceLineNo">001</span>/*<a name="line.1"></a>
<span class="sourceLineNo">002</span> * Copyright (C) 2006 The Guava Authors<a name="line.2"></a>
<span class="sourceLineNo">003</span> *<a name="line.3"></a>
<span class="sourceLineNo">004</span> * Licensed under the Apache License, Version 2.0 (the "License");<a name="line.4"></a>
<span class="sourceLineNo">005</span> * you may not use this file except in compliance with the License.<a name="line.5"></a>
<span class="sourceLineNo">006</span> * You may obtain a copy of the License at<a name="line.6"></a>
<span class="sourceLineNo">007</span> *<a name="line.7"></a>
<span class="sourceLineNo">008</span> * http://www.apache.org/licenses/LICENSE-2.0<a name="line.8"></a>
<span class="sourceLineNo">009</span> *<a name="line.9"></a>
<span class="sourceLineNo">010</span> * Unless required by applicable law or agreed to in writing, software<a name="line.10"></a>
<span class="sourceLineNo">011</span> * distributed under the License is distributed on an "AS IS" BASIS,<a name="line.11"></a>
<span class="sourceLineNo">012</span> * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.<a name="line.12"></a>
<span class="sourceLineNo">013</span> * See the License for the specific language governing permissions and<a name="line.13"></a>
<span class="sourceLineNo">014</span> * limitations under the License.<a name="line.14"></a>
<span class="sourceLineNo">015</span> */<a name="line.15"></a>
<span class="sourceLineNo">016</span><a name="line.16"></a>
<span class="sourceLineNo">017</span>package com.google.common.reflect;<a name="line.17"></a>
<span class="sourceLineNo">018</span><a name="line.18"></a>
<span class="sourceLineNo">019</span>import static com.google.common.base.Preconditions.checkArgument;<a name="line.19"></a>
<span class="sourceLineNo">020</span>import static com.google.common.base.Preconditions.checkNotNull;<a name="line.20"></a>
<span class="sourceLineNo">021</span>import static com.google.common.base.Preconditions.checkState;<a name="line.21"></a>
<span class="sourceLineNo">022</span><a name="line.22"></a>
<span class="sourceLineNo">023</span>import com.google.common.annotations.Beta;<a name="line.23"></a>
<span class="sourceLineNo">024</span>import com.google.common.annotations.VisibleForTesting;<a name="line.24"></a>
<span class="sourceLineNo">025</span>import com.google.common.base.Predicate;<a name="line.25"></a>
<span class="sourceLineNo">026</span>import com.google.common.collect.FluentIterable;<a name="line.26"></a>
<span class="sourceLineNo">027</span>import com.google.common.collect.ForwardingSet;<a name="line.27"></a>
<span class="sourceLineNo">028</span>import com.google.common.collect.ImmutableList;<a name="line.28"></a>
<span class="sourceLineNo">029</span>import com.google.common.collect.ImmutableMap;<a name="line.29"></a>
<span class="sourceLineNo">030</span>import com.google.common.collect.ImmutableSet;<a name="line.30"></a>
<span class="sourceLineNo">031</span>import com.google.common.collect.Maps;<a name="line.31"></a>
<span class="sourceLineNo">032</span>import com.google.common.collect.Ordering;<a name="line.32"></a>
<span class="sourceLineNo">033</span><a name="line.33"></a>
<span class="sourceLineNo">034</span>import java.io.Serializable;<a name="line.34"></a>
<span class="sourceLineNo">035</span>import java.lang.reflect.Constructor;<a name="line.35"></a>
<span class="sourceLineNo">036</span>import java.lang.reflect.GenericArrayType;<a name="line.36"></a>
<span class="sourceLineNo">037</span>import java.lang.reflect.Method;<a name="line.37"></a>
<span class="sourceLineNo">038</span>import java.lang.reflect.ParameterizedType;<a name="line.38"></a>
<span class="sourceLineNo">039</span>import java.lang.reflect.Type;<a name="line.39"></a>
<span class="sourceLineNo">040</span>import java.lang.reflect.TypeVariable;<a name="line.40"></a>
<span class="sourceLineNo">041</span>import java.lang.reflect.WildcardType;<a name="line.41"></a>
<span class="sourceLineNo">042</span>import java.util.Arrays;<a name="line.42"></a>
<span class="sourceLineNo">043</span>import java.util.Comparator;<a name="line.43"></a>
<span class="sourceLineNo">044</span>import java.util.Map;<a name="line.44"></a>
<span class="sourceLineNo">045</span>import java.util.Set;<a name="line.45"></a>
<span class="sourceLineNo">046</span><a name="line.46"></a>
<span class="sourceLineNo">047</span>import javax.annotation.Nullable;<a name="line.47"></a>
<span class="sourceLineNo">048</span><a name="line.48"></a>
<span class="sourceLineNo">049</span>/**<a name="line.49"></a>
<span class="sourceLineNo">050</span> * A {@link Type} with generics.<a name="line.50"></a>
<span class="sourceLineNo">051</span> *<a name="line.51"></a>
<span class="sourceLineNo">052</span> * &lt;p&gt;Operations that are otherwise only available in {@link Class} are implemented to support<a name="line.52"></a>
<span class="sourceLineNo">053</span> * {@code Type}, for example {@link #isAssignableFrom}, {@link #isArray} and {@link<a name="line.53"></a>
<span class="sourceLineNo">054</span> * #getComponentType}. It also provides additional utilities such as {@link #getTypes} and {@link<a name="line.54"></a>
<span class="sourceLineNo">055</span> * #resolveType} etc.<a name="line.55"></a>
<span class="sourceLineNo">056</span> *<a name="line.56"></a>
<span class="sourceLineNo">057</span> * &lt;p&gt;There are three ways to get a {@code TypeToken} instance: &lt;ul&gt;<a name="line.57"></a>
<span class="sourceLineNo">058</span> * &lt;li&gt;Wrap a {@code Type} obtained via reflection. For example: {@code<a name="line.58"></a>
<span class="sourceLineNo">059</span> * TypeToken.of(method.getGenericReturnType())}.<a name="line.59"></a>
<span class="sourceLineNo">060</span> * &lt;li&gt;Capture a generic type with a (usually anonymous) subclass. For example: &lt;pre&gt;   {@code<a name="line.60"></a>
<span class="sourceLineNo">061</span> *<a name="line.61"></a>
<span class="sourceLineNo">062</span> *   new TypeToken&lt;List&lt;String&gt;&gt;() {}<a name="line.62"></a>
<span class="sourceLineNo">063</span> * }&lt;/pre&gt;<a name="line.63"></a>
<span class="sourceLineNo">064</span> * Note that it's critical that the actual type argument is carried by a subclass.<a name="line.64"></a>
<span class="sourceLineNo">065</span> * The following code is wrong because it only captures the {@code &lt;T&gt;} type variable<a name="line.65"></a>
<span class="sourceLineNo">066</span> * of the {@code listType()} method signature; while {@code &lt;String&gt;} is lost in erasure:<a name="line.66"></a>
<span class="sourceLineNo">067</span> * &lt;pre&gt;   {@code<a name="line.67"></a>
<span class="sourceLineNo">068</span> *<a name="line.68"></a>
<span class="sourceLineNo">069</span> *   class Util {<a name="line.69"></a>
<span class="sourceLineNo">070</span> *     static &lt;T&gt; TypeToken&lt;List&lt;T&gt;&gt; listType() {<a name="line.70"></a>
<span class="sourceLineNo">071</span> *       return new TypeToken&lt;List&lt;T&gt;&gt;() {};<a name="line.71"></a>
<span class="sourceLineNo">072</span> *     }<a name="line.72"></a>
<span class="sourceLineNo">073</span> *   }<a name="line.73"></a>
<span class="sourceLineNo">074</span> *<a name="line.74"></a>
<span class="sourceLineNo">075</span> *   TypeToken&lt;List&lt;String&gt;&gt; stringListType = Util.&lt;String&gt;listType();<a name="line.75"></a>
<span class="sourceLineNo">076</span> * }&lt;/pre&gt;<a name="line.76"></a>
<span class="sourceLineNo">077</span> * &lt;li&gt;Capture a generic type with a (usually anonymous) subclass and resolve it against<a name="line.77"></a>
<span class="sourceLineNo">078</span> * a context class that knows what the type parameters are. For example: &lt;pre&gt;   {@code<a name="line.78"></a>
<span class="sourceLineNo">079</span> *   abstract class IKnowMyType&lt;T&gt; {<a name="line.79"></a>
<span class="sourceLineNo">080</span> *     TypeToken&lt;T&gt; type = new TypeToken&lt;T&gt;(getClass()) {};<a name="line.80"></a>
<span class="sourceLineNo">081</span> *   }<a name="line.81"></a>
<span class="sourceLineNo">082</span> *   new IKnowMyType&lt;String&gt;() {}.type =&gt; String<a name="line.82"></a>
<span class="sourceLineNo">083</span> * }&lt;/pre&gt;<a name="line.83"></a>
<span class="sourceLineNo">084</span> * &lt;/ul&gt;<a name="line.84"></a>
<span class="sourceLineNo">085</span> *<a name="line.85"></a>
<span class="sourceLineNo">086</span> * &lt;p&gt;{@code TypeToken} is serializable when no type variable is contained in the type.<a name="line.86"></a>
<span class="sourceLineNo">087</span> *<a name="line.87"></a>
<span class="sourceLineNo">088</span> * &lt;p&gt;Note to Guice users: {@code} TypeToken is similar to Guice's {@code TypeLiteral} class,<a name="line.88"></a>
<span class="sourceLineNo">089</span> * but with one important difference: it supports non-reified types such as {@code T},<a name="line.89"></a>
<span class="sourceLineNo">090</span> * {@code List&lt;T&gt;} or even {@code List&lt;? extends Number&gt;}; while TypeLiteral does not.<a name="line.90"></a>
<span class="sourceLineNo">091</span> * TypeToken is also serializable and offers numerous additional utility methods.<a name="line.91"></a>
<span class="sourceLineNo">092</span> *<a name="line.92"></a>
<span class="sourceLineNo">093</span> * @author Bob Lee<a name="line.93"></a>
<span class="sourceLineNo">094</span> * @author Sven Mawson<a name="line.94"></a>
<span class="sourceLineNo">095</span> * @author Ben Yu<a name="line.95"></a>
<span class="sourceLineNo">096</span> * @since 12.0<a name="line.96"></a>
<span class="sourceLineNo">097</span> */<a name="line.97"></a>
<span class="sourceLineNo">098</span>@Beta<a name="line.98"></a>
<span class="sourceLineNo">099</span>@SuppressWarnings("serial") // SimpleTypeToken is the serialized form.<a name="line.99"></a>
<span class="sourceLineNo">100</span>public abstract class TypeToken&lt;T&gt; extends TypeCapture&lt;T&gt; implements Serializable {<a name="line.100"></a>
<span class="sourceLineNo">101</span><a name="line.101"></a>
<span class="sourceLineNo">102</span>  private final Type runtimeType;<a name="line.102"></a>
<span class="sourceLineNo">103</span><a name="line.103"></a>
<span class="sourceLineNo">104</span>  /** Resolver for resolving types with {@link #runtimeType} as context. */<a name="line.104"></a>
<span class="sourceLineNo">105</span>  private transient TypeResolver typeResolver;<a name="line.105"></a>
<span class="sourceLineNo">106</span><a name="line.106"></a>
<span class="sourceLineNo">107</span>  /**<a name="line.107"></a>
<span class="sourceLineNo">108</span>   * Constructs a new type token of {@code T}.<a name="line.108"></a>
<span class="sourceLineNo">109</span>   *<a name="line.109"></a>
<span class="sourceLineNo">110</span>   * &lt;p&gt;Clients create an empty anonymous subclass. Doing so embeds the type<a name="line.110"></a>
<span class="sourceLineNo">111</span>   * parameter in the anonymous class's type hierarchy so we can reconstitute<a name="line.111"></a>
<span class="sourceLineNo">112</span>   * it at runtime despite erasure.<a name="line.112"></a>
<span class="sourceLineNo">113</span>   *<a name="line.113"></a>
<span class="sourceLineNo">114</span>   * &lt;p&gt;For example: &lt;pre&gt;   {@code<a name="line.114"></a>
<span class="sourceLineNo">115</span>   *<a name="line.115"></a>
<span class="sourceLineNo">116</span>   *   TypeToken&lt;List&lt;String&gt;&gt; t = new TypeToken&lt;List&lt;String&gt;&gt;() {};<a name="line.116"></a>
<span class="sourceLineNo">117</span>   * }&lt;/pre&gt;<a name="line.117"></a>
<span class="sourceLineNo">118</span>   */<a name="line.118"></a>
<span class="sourceLineNo">119</span>  protected TypeToken() {<a name="line.119"></a>
<span class="sourceLineNo">120</span>    this.runtimeType = capture();<a name="line.120"></a>
<span class="sourceLineNo">121</span>    checkState(!(runtimeType instanceof TypeVariable),<a name="line.121"></a>
<span class="sourceLineNo">122</span>        "Cannot construct a TypeToken for a type variable.\n" +<a name="line.122"></a>
<span class="sourceLineNo">123</span>        "You probably meant to call new TypeToken&lt;%s&gt;(getClass()) " +<a name="line.123"></a>
<span class="sourceLineNo">124</span>        "that can resolve the type variable for you.\n" +<a name="line.124"></a>
<span class="sourceLineNo">125</span>        "If you do need to create a TypeToken of a type variable, " +<a name="line.125"></a>
<span class="sourceLineNo">126</span>        "please use TypeToken.of() instead.", runtimeType);<a name="line.126"></a>
<span class="sourceLineNo">127</span>  }<a name="line.127"></a>
<span class="sourceLineNo">128</span><a name="line.128"></a>
<span class="sourceLineNo">129</span>  /**<a name="line.129"></a>
<span class="sourceLineNo">130</span>   * Constructs a new type token of {@code T} while resolving free type variables in the context of<a name="line.130"></a>
<span class="sourceLineNo">131</span>   * {@code declaringClass}.<a name="line.131"></a>
<span class="sourceLineNo">132</span>   *<a name="line.132"></a>
<span class="sourceLineNo">133</span>   * &lt;p&gt;Clients create an empty anonymous subclass. Doing so embeds the type<a name="line.133"></a>
<span class="sourceLineNo">134</span>   * parameter in the anonymous class's type hierarchy so we can reconstitute<a name="line.134"></a>
<span class="sourceLineNo">135</span>   * it at runtime despite erasure.<a name="line.135"></a>
<span class="sourceLineNo">136</span>   *<a name="line.136"></a>
<span class="sourceLineNo">137</span>   * &lt;p&gt;For example: &lt;pre&gt;   {@code<a name="line.137"></a>
<span class="sourceLineNo">138</span>   *<a name="line.138"></a>
<span class="sourceLineNo">139</span>   *   abstract class IKnowMyType&lt;T&gt; {<a name="line.139"></a>
<span class="sourceLineNo">140</span>   *     TypeToken&lt;T&gt; getMyType() {<a name="line.140"></a>
<span class="sourceLineNo">141</span>   *       return new TypeToken&lt;T&gt;(getClass()) {};<a name="line.141"></a>
<span class="sourceLineNo">142</span>   *     }<a name="line.142"></a>
<span class="sourceLineNo">143</span>   *   }<a name="line.143"></a>
<span class="sourceLineNo">144</span>   *<a name="line.144"></a>
<span class="sourceLineNo">145</span>   *   new IKnowMyType&lt;String&gt;() {}.getMyType() =&gt; String<a name="line.145"></a>
<span class="sourceLineNo">146</span>   * }&lt;/pre&gt;<a name="line.146"></a>
<span class="sourceLineNo">147</span>   */<a name="line.147"></a>
<span class="sourceLineNo">148</span>  protected TypeToken(Class&lt;?&gt; declaringClass) {<a name="line.148"></a>
<span class="sourceLineNo">149</span>    Type captured = super.capture();<a name="line.149"></a>
<span class="sourceLineNo">150</span>    if (captured instanceof Class) {<a name="line.150"></a>
<span class="sourceLineNo">151</span>      this.runtimeType = captured;<a name="line.151"></a>
<span class="sourceLineNo">152</span>    } else {<a name="line.152"></a>
<span class="sourceLineNo">153</span>      this.runtimeType = of(declaringClass).resolveType(captured).runtimeType;<a name="line.153"></a>
<span class="sourceLineNo">154</span>    }<a name="line.154"></a>
<span class="sourceLineNo">155</span>  }<a name="line.155"></a>
<span class="sourceLineNo">156</span><a name="line.156"></a>
<span class="sourceLineNo">157</span>  private TypeToken(Type type) {<a name="line.157"></a>
<span class="sourceLineNo">158</span>    this.runtimeType = checkNotNull(type);<a name="line.158"></a>
<span class="sourceLineNo">159</span>  }<a name="line.159"></a>
<span class="sourceLineNo">160</span><a name="line.160"></a>
<span class="sourceLineNo">161</span>  /** Returns an instance of type token that wraps {@code type}. */<a name="line.161"></a>
<span class="sourceLineNo">162</span>  public static &lt;T&gt; TypeToken&lt;T&gt; of(Class&lt;T&gt; type) {<a name="line.162"></a>
<span class="sourceLineNo">163</span>    return new SimpleTypeToken&lt;T&gt;(type);<a name="line.163"></a>
<span class="sourceLineNo">164</span>  }<a name="line.164"></a>
<span class="sourceLineNo">165</span><a name="line.165"></a>
<span class="sourceLineNo">166</span>  /** Returns an instance of type token that wraps {@code type}. */<a name="line.166"></a>
<span class="sourceLineNo">167</span>  public static TypeToken&lt;?&gt; of(Type type) {<a name="line.167"></a>
<span class="sourceLineNo">168</span>    return new SimpleTypeToken&lt;Object&gt;(type);<a name="line.168"></a>
<span class="sourceLineNo">169</span>  }<a name="line.169"></a>
<span class="sourceLineNo">170</span><a name="line.170"></a>
<span class="sourceLineNo">171</span>  /**<a name="line.171"></a>
<span class="sourceLineNo">172</span>   * Returns the raw type of {@code T}. Formally speaking, if {@code T} is returned by<a name="line.172"></a>
<span class="sourceLineNo">173</span>   * {@link java.lang.reflect.Method#getGenericReturnType}, the raw type is what's returned by<a name="line.173"></a>
<span class="sourceLineNo">174</span>   * {@link java.lang.reflect.Method#getReturnType} of the same method object. Specifically:<a name="line.174"></a>
<span class="sourceLineNo">175</span>   * &lt;ul&gt;<a name="line.175"></a>
<span class="sourceLineNo">176</span>   * &lt;li&gt;If {@code T} is a {@code Class} itself, {@code T} itself is returned.<a name="line.176"></a>
<span class="sourceLineNo">177</span>   * &lt;li&gt;If {@code T} is a {@link ParameterizedType}, the raw type of the parameterized type is<a name="line.177"></a>
<span class="sourceLineNo">178</span>   *     returned.<a name="line.178"></a>
<span class="sourceLineNo">179</span>   * &lt;li&gt;If {@code T} is a {@link GenericArrayType}, the returned type is the corresponding array<a name="line.179"></a>
<span class="sourceLineNo">180</span>   *     class. For example: {@code List&lt;Integer&gt;[] =&gt; List[]}.<a name="line.180"></a>
<span class="sourceLineNo">181</span>   * &lt;li&gt;If {@code T} is a type variable or a wildcard type, the raw type of the first upper bound<a name="line.181"></a>
<span class="sourceLineNo">182</span>   *     is returned. For example: {@code &lt;X extends Foo&gt; =&gt; Foo}.<a name="line.182"></a>
<span class="sourceLineNo">183</span>   * &lt;/ul&gt;<a name="line.183"></a>
<span class="sourceLineNo">184</span>   */<a name="line.184"></a>
<span class="sourceLineNo">185</span>  public final Class&lt;? super T&gt; getRawType() {<a name="line.185"></a>
<span class="sourceLineNo">186</span>    Class&lt;?&gt; rawType = getRawType(runtimeType);<a name="line.186"></a>
<span class="sourceLineNo">187</span>    @SuppressWarnings("unchecked") // raw type is |T|<a name="line.187"></a>
<span class="sourceLineNo">188</span>    Class&lt;? super T&gt; result = (Class&lt;? super T&gt;) rawType;<a name="line.188"></a>
<span class="sourceLineNo">189</span>    return result;<a name="line.189"></a>
<span class="sourceLineNo">190</span>  }<a name="line.190"></a>
<span class="sourceLineNo">191</span><a name="line.191"></a>
<span class="sourceLineNo">192</span>  /**<a name="line.192"></a>
<span class="sourceLineNo">193</span>   * Returns the raw type of the class or parameterized type; if {@code T} is type variable or<a name="line.193"></a>
<span class="sourceLineNo">194</span>   * wildcard type, the raw types of all its upper bounds are returned.<a name="line.194"></a>
<span class="sourceLineNo">195</span>   */<a name="line.195"></a>
<span class="sourceLineNo">196</span>  private ImmutableSet&lt;Class&lt;? super T&gt;&gt; getImmediateRawTypes() {<a name="line.196"></a>
<span class="sourceLineNo">197</span>    // Cast from ImmutableSet&lt;Class&lt;?&gt;&gt; to ImmutableSet&lt;Class&lt;? super T&gt;&gt;<a name="line.197"></a>
<span class="sourceLineNo">198</span>    @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.198"></a>
<span class="sourceLineNo">199</span>    ImmutableSet&lt;Class&lt;? super T&gt;&gt; result = (ImmutableSet) getRawTypes(runtimeType);<a name="line.199"></a>
<span class="sourceLineNo">200</span>    return result;<a name="line.200"></a>
<span class="sourceLineNo">201</span>  }<a name="line.201"></a>
<span class="sourceLineNo">202</span><a name="line.202"></a>
<span class="sourceLineNo">203</span>  /** Returns the represented type. */<a name="line.203"></a>
<span class="sourceLineNo">204</span>  public final Type getType() {<a name="line.204"></a>
<span class="sourceLineNo">205</span>    return runtimeType;<a name="line.205"></a>
<span class="sourceLineNo">206</span>  }<a name="line.206"></a>
<span class="sourceLineNo">207</span><a name="line.207"></a>
<span class="sourceLineNo">208</span>  /**<a name="line.208"></a>
<span class="sourceLineNo">209</span>   * Returns a new {@code TypeToken} where type variables represented by {@code typeParam}<a name="line.209"></a>
<span class="sourceLineNo">210</span>   * are substituted by {@code typeArg}. For example, it can be used to construct<a name="line.210"></a>
<span class="sourceLineNo">211</span>   * {@code Map&lt;K, V&gt;} for any {@code K} and {@code V} type: &lt;pre&gt;   {@code<a name="line.211"></a>
<span class="sourceLineNo">212</span>   *<a name="line.212"></a>
<span class="sourceLineNo">213</span>   *   static &lt;K, V&gt; TypeToken&lt;Map&lt;K, V&gt;&gt; mapOf(<a name="line.213"></a>
<span class="sourceLineNo">214</span>   *       TypeToken&lt;K&gt; keyType, TypeToken&lt;V&gt; valueType) {<a name="line.214"></a>
<span class="sourceLineNo">215</span>   *     return new TypeToken&lt;Map&lt;K, V&gt;&gt;() {}<a name="line.215"></a>
<span class="sourceLineNo">216</span>   *         .where(new TypeParameter&lt;K&gt;() {}, keyType)<a name="line.216"></a>
<span class="sourceLineNo">217</span>   *         .where(new TypeParameter&lt;V&gt;() {}, valueType);<a name="line.217"></a>
<span class="sourceLineNo">218</span>   *   }<a name="line.218"></a>
<span class="sourceLineNo">219</span>   * }&lt;/pre&gt;<a name="line.219"></a>
<span class="sourceLineNo">220</span>   *<a name="line.220"></a>
<span class="sourceLineNo">221</span>   * @param &lt;X&gt; The parameter type<a name="line.221"></a>
<span class="sourceLineNo">222</span>   * @param typeParam the parameter type variable<a name="line.222"></a>
<span class="sourceLineNo">223</span>   * @param typeArg the actual type to substitute<a name="line.223"></a>
<span class="sourceLineNo">224</span>   */<a name="line.224"></a>
<span class="sourceLineNo">225</span>  public final &lt;X&gt; TypeToken&lt;T&gt; where(TypeParameter&lt;X&gt; typeParam, TypeToken&lt;X&gt; typeArg) {<a name="line.225"></a>
<span class="sourceLineNo">226</span>    TypeResolver resolver = new TypeResolver()<a name="line.226"></a>
<span class="sourceLineNo">227</span>        .where(ImmutableMap.of(typeParam.typeVariable, typeArg.runtimeType));<a name="line.227"></a>
<span class="sourceLineNo">228</span>    // If there's any type error, we'd report now rather than later.<a name="line.228"></a>
<span class="sourceLineNo">229</span>    return new SimpleTypeToken&lt;T&gt;(resolver.resolveType(runtimeType));<a name="line.229"></a>
<span class="sourceLineNo">230</span>  }<a name="line.230"></a>
<span class="sourceLineNo">231</span><a name="line.231"></a>
<span class="sourceLineNo">232</span>  /**<a name="line.232"></a>
<span class="sourceLineNo">233</span>   * Returns a new {@code TypeToken} where type variables represented by {@code typeParam}<a name="line.233"></a>
<span class="sourceLineNo">234</span>   * are substituted by {@code typeArg}. For example, it can be used to construct<a name="line.234"></a>
<span class="sourceLineNo">235</span>   * {@code Map&lt;K, V&gt;} for any {@code K} and {@code V} type: &lt;pre&gt;   {@code<a name="line.235"></a>
<span class="sourceLineNo">236</span>   *<a name="line.236"></a>
<span class="sourceLineNo">237</span>   *   static &lt;K, V&gt; TypeToken&lt;Map&lt;K, V&gt;&gt; mapOf(<a name="line.237"></a>
<span class="sourceLineNo">238</span>   *       Class&lt;K&gt; keyType, Class&lt;V&gt; valueType) {<a name="line.238"></a>
<span class="sourceLineNo">239</span>   *     return new TypeToken&lt;Map&lt;K, V&gt;&gt;() {}<a name="line.239"></a>
<span class="sourceLineNo">240</span>   *         .where(new TypeParameter&lt;K&gt;() {}, keyType)<a name="line.240"></a>
<span class="sourceLineNo">241</span>   *         .where(new TypeParameter&lt;V&gt;() {}, valueType);<a name="line.241"></a>
<span class="sourceLineNo">242</span>   *   }<a name="line.242"></a>
<span class="sourceLineNo">243</span>   * }&lt;/pre&gt;<a name="line.243"></a>
<span class="sourceLineNo">244</span>   *<a name="line.244"></a>
<span class="sourceLineNo">245</span>   * @param &lt;X&gt; The parameter type<a name="line.245"></a>
<span class="sourceLineNo">246</span>   * @param typeParam the parameter type variable<a name="line.246"></a>
<span class="sourceLineNo">247</span>   * @param typeArg the actual type to substitute<a name="line.247"></a>
<span class="sourceLineNo">248</span>   */<a name="line.248"></a>
<span class="sourceLineNo">249</span>  public final &lt;X&gt; TypeToken&lt;T&gt; where(TypeParameter&lt;X&gt; typeParam, Class&lt;X&gt; typeArg) {<a name="line.249"></a>
<span class="sourceLineNo">250</span>    return where(typeParam, of(typeArg));<a name="line.250"></a>
<span class="sourceLineNo">251</span>  }<a name="line.251"></a>
<span class="sourceLineNo">252</span><a name="line.252"></a>
<span class="sourceLineNo">253</span>  /**<a name="line.253"></a>
<span class="sourceLineNo">254</span>   * Resolves the given {@code type} against the type context represented by this type.<a name="line.254"></a>
<span class="sourceLineNo">255</span>   * For example: &lt;pre&gt;   {@code<a name="line.255"></a>
<span class="sourceLineNo">256</span>   *<a name="line.256"></a>
<span class="sourceLineNo">257</span>   *   new TypeToken&lt;List&lt;String&gt;&gt;() {}.resolveType(<a name="line.257"></a>
<span class="sourceLineNo">258</span>   *       List.class.getMethod("get", int.class).getGenericReturnType())<a name="line.258"></a>
<span class="sourceLineNo">259</span>   *   =&gt; String.class<a name="line.259"></a>
<span class="sourceLineNo">260</span>   * }&lt;/pre&gt;<a name="line.260"></a>
<span class="sourceLineNo">261</span>   */<a name="line.261"></a>
<span class="sourceLineNo">262</span>  public final TypeToken&lt;?&gt; resolveType(Type type) {<a name="line.262"></a>
<span class="sourceLineNo">263</span>    checkNotNull(type);<a name="line.263"></a>
<span class="sourceLineNo">264</span>    TypeResolver resolver = typeResolver;<a name="line.264"></a>
<span class="sourceLineNo">265</span>    if (resolver == null) {<a name="line.265"></a>
<span class="sourceLineNo">266</span>      resolver = (typeResolver = TypeResolver.accordingTo(runtimeType));<a name="line.266"></a>
<span class="sourceLineNo">267</span>    }<a name="line.267"></a>
<span class="sourceLineNo">268</span>    return of(resolver.resolveType(type));<a name="line.268"></a>
<span class="sourceLineNo">269</span>  }<a name="line.269"></a>
<span class="sourceLineNo">270</span><a name="line.270"></a>
<span class="sourceLineNo">271</span>  private Type[] resolveInPlace(Type[] types) {<a name="line.271"></a>
<span class="sourceLineNo">272</span>    for (int i = 0; i &lt; types.length; i++) {<a name="line.272"></a>
<span class="sourceLineNo">273</span>      types[i] = resolveType(types[i]).getType();<a name="line.273"></a>
<span class="sourceLineNo">274</span>    }<a name="line.274"></a>
<span class="sourceLineNo">275</span>    return types;<a name="line.275"></a>
<span class="sourceLineNo">276</span>  }<a name="line.276"></a>
<span class="sourceLineNo">277</span><a name="line.277"></a>
<span class="sourceLineNo">278</span>  private TypeToken&lt;?&gt; resolveSupertype(Type type) {<a name="line.278"></a>
<span class="sourceLineNo">279</span>    TypeToken&lt;?&gt; supertype = resolveType(type);<a name="line.279"></a>
<span class="sourceLineNo">280</span>    // super types' type mapping is a subset of type mapping of this type.<a name="line.280"></a>
<span class="sourceLineNo">281</span>    supertype.typeResolver = typeResolver;<a name="line.281"></a>
<span class="sourceLineNo">282</span>    return supertype;<a name="line.282"></a>
<span class="sourceLineNo">283</span>  }<a name="line.283"></a>
<span class="sourceLineNo">284</span><a name="line.284"></a>
<span class="sourceLineNo">285</span>  /**<a name="line.285"></a>
<span class="sourceLineNo">286</span>   * Returns the generic superclass of this type or {@code null} if the type represents<a name="line.286"></a>
<span class="sourceLineNo">287</span>   * {@link Object} or an interface. This method is similar but different from {@link<a name="line.287"></a>
<span class="sourceLineNo">288</span>   * Class#getGenericSuperclass}. For example, {@code<a name="line.288"></a>
<span class="sourceLineNo">289</span>   * new TypeToken&lt;StringArrayList&gt;() {}.getGenericSuperclass()} will return {@code<a name="line.289"></a>
<span class="sourceLineNo">290</span>   * new TypeToken&lt;ArrayList&lt;String&gt;&gt;() {}}; while {@code<a name="line.290"></a>
<span class="sourceLineNo">291</span>   * StringArrayList.class.getGenericSuperclass()} will return {@code ArrayList&lt;E&gt;}, where {@code E}<a name="line.291"></a>
<span class="sourceLineNo">292</span>   * is the type variable declared by class {@code ArrayList}.<a name="line.292"></a>
<span class="sourceLineNo">293</span>   *<a name="line.293"></a>
<span class="sourceLineNo">294</span>   * &lt;p&gt;If this type is a type variable or wildcard, its first upper bound is examined and returned<a name="line.294"></a>
<span class="sourceLineNo">295</span>   * if the bound is a class or extends from a class. This means that the returned type could be a<a name="line.295"></a>
<span class="sourceLineNo">296</span>   * type variable too.<a name="line.296"></a>
<span class="sourceLineNo">297</span>   */<a name="line.297"></a>
<span class="sourceLineNo">298</span>  @Nullable<a name="line.298"></a>
<span class="sourceLineNo">299</span>  final TypeToken&lt;? super T&gt; getGenericSuperclass() {<a name="line.299"></a>
<span class="sourceLineNo">300</span>    if (runtimeType instanceof TypeVariable) {<a name="line.300"></a>
<span class="sourceLineNo">301</span>      // First bound is always the super class, if one exists.<a name="line.301"></a>
<span class="sourceLineNo">302</span>      return boundAsSuperclass(((TypeVariable&lt;?&gt;) runtimeType).getBounds()[0]);<a name="line.302"></a>
<span class="sourceLineNo">303</span>    }<a name="line.303"></a>
<span class="sourceLineNo">304</span>    if (runtimeType instanceof WildcardType) {<a name="line.304"></a>
<span class="sourceLineNo">305</span>      // wildcard has one and only one upper bound.<a name="line.305"></a>
<span class="sourceLineNo">306</span>      return boundAsSuperclass(((WildcardType) runtimeType).getUpperBounds()[0]);<a name="line.306"></a>
<span class="sourceLineNo">307</span>    }<a name="line.307"></a>
<span class="sourceLineNo">308</span>    Type superclass = getRawType().getGenericSuperclass();<a name="line.308"></a>
<span class="sourceLineNo">309</span>    if (superclass == null) {<a name="line.309"></a>
<span class="sourceLineNo">310</span>      return null;<a name="line.310"></a>
<span class="sourceLineNo">311</span>    }<a name="line.311"></a>
<span class="sourceLineNo">312</span>    @SuppressWarnings("unchecked") // super class of T<a name="line.312"></a>
<span class="sourceLineNo">313</span>    TypeToken&lt;? super T&gt; superToken = (TypeToken&lt;? super T&gt;) resolveSupertype(superclass);<a name="line.313"></a>
<span class="sourceLineNo">314</span>    return superToken;<a name="line.314"></a>
<span class="sourceLineNo">315</span>  }<a name="line.315"></a>
<span class="sourceLineNo">316</span><a name="line.316"></a>
<span class="sourceLineNo">317</span>  @Nullable private TypeToken&lt;? super T&gt; boundAsSuperclass(Type bound) {<a name="line.317"></a>
<span class="sourceLineNo">318</span>    TypeToken&lt;?&gt; token = of(bound);<a name="line.318"></a>
<span class="sourceLineNo">319</span>    if (token.getRawType().isInterface()) {<a name="line.319"></a>
<span class="sourceLineNo">320</span>      return null;<a name="line.320"></a>
<span class="sourceLineNo">321</span>    }<a name="line.321"></a>
<span class="sourceLineNo">322</span>    @SuppressWarnings("unchecked") // only upper bound of T is passed in.<a name="line.322"></a>
<span class="sourceLineNo">323</span>    TypeToken&lt;? super T&gt; superclass = (TypeToken&lt;? super T&gt;) token;<a name="line.323"></a>
<span class="sourceLineNo">324</span>    return superclass;<a name="line.324"></a>
<span class="sourceLineNo">325</span>  }<a name="line.325"></a>
<span class="sourceLineNo">326</span><a name="line.326"></a>
<span class="sourceLineNo">327</span>  /**<a name="line.327"></a>
<span class="sourceLineNo">328</span>   * Returns the generic interfaces that this type directly {@code implements}. This method is<a name="line.328"></a>
<span class="sourceLineNo">329</span>   * similar but different from {@link Class#getGenericInterfaces()}. For example, {@code<a name="line.329"></a>
<span class="sourceLineNo">330</span>   * new TypeToken&lt;List&lt;String&gt;&gt;() {}.getGenericInterfaces()} will return a list that contains<a name="line.330"></a>
<span class="sourceLineNo">331</span>   * {@code new TypeToken&lt;Iterable&lt;String&gt;&gt;() {}}; while {@code List.class.getGenericInterfaces()}<a name="line.331"></a>
<span class="sourceLineNo">332</span>   * will return an array that contains {@code Iterable&lt;T&gt;}, where the {@code T} is the type<a name="line.332"></a>
<span class="sourceLineNo">333</span>   * variable declared by interface {@code Iterable}.<a name="line.333"></a>
<span class="sourceLineNo">334</span>   *<a name="line.334"></a>
<span class="sourceLineNo">335</span>   * &lt;p&gt;If this type is a type variable or wildcard, its upper bounds are examined and those that<a name="line.335"></a>
<span class="sourceLineNo">336</span>   * are either an interface or upper-bounded only by interfaces are returned. This means that the<a name="line.336"></a>
<span class="sourceLineNo">337</span>   * returned types could include type variables too.<a name="line.337"></a>
<span class="sourceLineNo">338</span>   */<a name="line.338"></a>
<span class="sourceLineNo">339</span>  final ImmutableList&lt;TypeToken&lt;? super T&gt;&gt; getGenericInterfaces() {<a name="line.339"></a>
<span class="sourceLineNo">340</span>    if (runtimeType instanceof TypeVariable) {<a name="line.340"></a>
<span class="sourceLineNo">341</span>      return boundsAsInterfaces(((TypeVariable&lt;?&gt;) runtimeType).getBounds());<a name="line.341"></a>
<span class="sourceLineNo">342</span>    }<a name="line.342"></a>
<span class="sourceLineNo">343</span>    if (runtimeType instanceof WildcardType) {<a name="line.343"></a>
<span class="sourceLineNo">344</span>      return boundsAsInterfaces(((WildcardType) runtimeType).getUpperBounds());<a name="line.344"></a>
<span class="sourceLineNo">345</span>    }<a name="line.345"></a>
<span class="sourceLineNo">346</span>    ImmutableList.Builder&lt;TypeToken&lt;? super T&gt;&gt; builder = ImmutableList.builder();<a name="line.346"></a>
<span class="sourceLineNo">347</span>    for (Type interfaceType : getRawType().getGenericInterfaces()) {<a name="line.347"></a>
<span class="sourceLineNo">348</span>      @SuppressWarnings("unchecked") // interface of T<a name="line.348"></a>
<span class="sourceLineNo">349</span>      TypeToken&lt;? super T&gt; resolvedInterface = (TypeToken&lt;? super T&gt;)<a name="line.349"></a>
<span class="sourceLineNo">350</span>          resolveSupertype(interfaceType);<a name="line.350"></a>
<span class="sourceLineNo">351</span>      builder.add(resolvedInterface);<a name="line.351"></a>
<span class="sourceLineNo">352</span>    }<a name="line.352"></a>
<span class="sourceLineNo">353</span>    return builder.build();<a name="line.353"></a>
<span class="sourceLineNo">354</span>  }<a name="line.354"></a>
<span class="sourceLineNo">355</span><a name="line.355"></a>
<span class="sourceLineNo">356</span>  private ImmutableList&lt;TypeToken&lt;? super T&gt;&gt; boundsAsInterfaces(Type[] bounds) {<a name="line.356"></a>
<span class="sourceLineNo">357</span>    ImmutableList.Builder&lt;TypeToken&lt;? super T&gt;&gt; builder = ImmutableList.builder();<a name="line.357"></a>
<span class="sourceLineNo">358</span>    for (Type bound : bounds) {<a name="line.358"></a>
<span class="sourceLineNo">359</span>      @SuppressWarnings("unchecked") // upper bound of T<a name="line.359"></a>
<span class="sourceLineNo">360</span>      TypeToken&lt;? super T&gt; boundType = (TypeToken&lt;? super T&gt;) of(bound);<a name="line.360"></a>
<span class="sourceLineNo">361</span>      if (boundType.getRawType().isInterface()) {<a name="line.361"></a>
<span class="sourceLineNo">362</span>        builder.add(boundType);<a name="line.362"></a>
<span class="sourceLineNo">363</span>      }<a name="line.363"></a>
<span class="sourceLineNo">364</span>    }<a name="line.364"></a>
<span class="sourceLineNo">365</span>    return builder.build();<a name="line.365"></a>
<span class="sourceLineNo">366</span>  }<a name="line.366"></a>
<span class="sourceLineNo">367</span><a name="line.367"></a>
<span class="sourceLineNo">368</span>  /**<a name="line.368"></a>
<span class="sourceLineNo">369</span>   * Returns the set of interfaces and classes that this type is or is a subtype of. The returned<a name="line.369"></a>
<span class="sourceLineNo">370</span>   * types are parameterized with proper type arguments.<a name="line.370"></a>
<span class="sourceLineNo">371</span>   *<a name="line.371"></a>
<span class="sourceLineNo">372</span>   * &lt;p&gt;Subtypes are always listed before supertypes. But the reverse is not true. A type isn't<a name="line.372"></a>
<span class="sourceLineNo">373</span>   * necessarily a subtype of all the types following. Order between types without subtype<a name="line.373"></a>
<span class="sourceLineNo">374</span>   * relationship is arbitrary and not guaranteed.<a name="line.374"></a>
<span class="sourceLineNo">375</span>   *<a name="line.375"></a>
<span class="sourceLineNo">376</span>   * &lt;p&gt;If this type is a type variable or wildcard, upper bounds that are themselves type variables<a name="line.376"></a>
<span class="sourceLineNo">377</span>   * aren't included (their super interfaces and superclasses are).<a name="line.377"></a>
<span class="sourceLineNo">378</span>   */<a name="line.378"></a>
<span class="sourceLineNo">379</span>  public final TypeSet getTypes() {<a name="line.379"></a>
<span class="sourceLineNo">380</span>    return new TypeSet();<a name="line.380"></a>
<span class="sourceLineNo">381</span>  }<a name="line.381"></a>
<span class="sourceLineNo">382</span><a name="line.382"></a>
<span class="sourceLineNo">383</span>  /**<a name="line.383"></a>
<span class="sourceLineNo">384</span>   * Returns the generic form of {@code superclass}. For example, if this is<a name="line.384"></a>
<span class="sourceLineNo">385</span>   * {@code ArrayList&lt;String&gt;}, {@code Iterable&lt;String&gt;} is returned given the<a name="line.385"></a>
<span class="sourceLineNo">386</span>   * input {@code Iterable.class}.<a name="line.386"></a>
<span class="sourceLineNo">387</span>   */<a name="line.387"></a>
<span class="sourceLineNo">388</span>  public final TypeToken&lt;? super T&gt; getSupertype(Class&lt;? super T&gt; superclass) {<a name="line.388"></a>
<span class="sourceLineNo">389</span>    checkArgument(superclass.isAssignableFrom(getRawType()),<a name="line.389"></a>
<span class="sourceLineNo">390</span>        "%s is not a super class of %s", superclass, this);<a name="line.390"></a>
<span class="sourceLineNo">391</span>    if (runtimeType instanceof TypeVariable) {<a name="line.391"></a>
<span class="sourceLineNo">392</span>      return getSupertypeFromUpperBounds(superclass, ((TypeVariable&lt;?&gt;) runtimeType).getBounds());<a name="line.392"></a>
<span class="sourceLineNo">393</span>    }<a name="line.393"></a>
<span class="sourceLineNo">394</span>    if (runtimeType instanceof WildcardType) {<a name="line.394"></a>
<span class="sourceLineNo">395</span>      return getSupertypeFromUpperBounds(superclass, ((WildcardType) runtimeType).getUpperBounds());<a name="line.395"></a>
<span class="sourceLineNo">396</span>    }<a name="line.396"></a>
<span class="sourceLineNo">397</span>    if (superclass.isArray()) {<a name="line.397"></a>
<span class="sourceLineNo">398</span>      return getArraySupertype(superclass);<a name="line.398"></a>
<span class="sourceLineNo">399</span>    }<a name="line.399"></a>
<span class="sourceLineNo">400</span>    @SuppressWarnings("unchecked") // resolved supertype<a name="line.400"></a>
<span class="sourceLineNo">401</span>    TypeToken&lt;? super T&gt; supertype = (TypeToken&lt;? super T&gt;)<a name="line.401"></a>
<span class="sourceLineNo">402</span>        resolveSupertype(toGenericType(superclass).runtimeType);<a name="line.402"></a>
<span class="sourceLineNo">403</span>    return supertype;<a name="line.403"></a>
<span class="sourceLineNo">404</span>  }<a name="line.404"></a>
<span class="sourceLineNo">405</span><a name="line.405"></a>
<span class="sourceLineNo">406</span>  /**<a name="line.406"></a>
<span class="sourceLineNo">407</span>   * Returns subtype of {@code this} with {@code subclass} as the raw class.<a name="line.407"></a>
<span class="sourceLineNo">408</span>   * For example, if this is {@code Iterable&lt;String&gt;} and {@code subclass} is {@code List},<a name="line.408"></a>
<span class="sourceLineNo">409</span>   * {@code List&lt;String&gt;} is returned.<a name="line.409"></a>
<span class="sourceLineNo">410</span>   */<a name="line.410"></a>
<span class="sourceLineNo">411</span>  public final TypeToken&lt;? extends T&gt; getSubtype(Class&lt;?&gt; subclass) {<a name="line.411"></a>
<span class="sourceLineNo">412</span>    checkArgument(!(runtimeType instanceof TypeVariable),<a name="line.412"></a>
<span class="sourceLineNo">413</span>        "Cannot get subtype of type variable &lt;%s&gt;", this);<a name="line.413"></a>
<span class="sourceLineNo">414</span>    if (runtimeType instanceof WildcardType) {<a name="line.414"></a>
<span class="sourceLineNo">415</span>      return getSubtypeFromLowerBounds(subclass, ((WildcardType) runtimeType).getLowerBounds());<a name="line.415"></a>
<span class="sourceLineNo">416</span>    }<a name="line.416"></a>
<span class="sourceLineNo">417</span>    checkArgument(getRawType().isAssignableFrom(subclass),<a name="line.417"></a>
<span class="sourceLineNo">418</span>        "%s isn't a subclass of %s", subclass, this);<a name="line.418"></a>
<span class="sourceLineNo">419</span>    // unwrap array type if necessary<a name="line.419"></a>
<span class="sourceLineNo">420</span>    if (isArray()) {<a name="line.420"></a>
<span class="sourceLineNo">421</span>      return getArraySubtype(subclass);<a name="line.421"></a>
<span class="sourceLineNo">422</span>    }<a name="line.422"></a>
<span class="sourceLineNo">423</span>    @SuppressWarnings("unchecked") // guarded by the isAssignableFrom() statement above<a name="line.423"></a>
<span class="sourceLineNo">424</span>    TypeToken&lt;? extends T&gt; subtype = (TypeToken&lt;? extends T&gt;)<a name="line.424"></a>
<span class="sourceLineNo">425</span>        of(resolveTypeArgsForSubclass(subclass));<a name="line.425"></a>
<span class="sourceLineNo">426</span>    return subtype;<a name="line.426"></a>
<span class="sourceLineNo">427</span>  }<a name="line.427"></a>
<span class="sourceLineNo">428</span><a name="line.428"></a>
<span class="sourceLineNo">429</span>  /** Returns true if this type is assignable from the given {@code type}. */<a name="line.429"></a>
<span class="sourceLineNo">430</span>  public final boolean isAssignableFrom(TypeToken&lt;?&gt; type) {<a name="line.430"></a>
<span class="sourceLineNo">431</span>    return isAssignableFrom(type.runtimeType);<a name="line.431"></a>
<span class="sourceLineNo">432</span>  }<a name="line.432"></a>
<span class="sourceLineNo">433</span><a name="line.433"></a>
<span class="sourceLineNo">434</span>  /** Check if this type is assignable from the given {@code type}. */<a name="line.434"></a>
<span class="sourceLineNo">435</span>  public final boolean isAssignableFrom(Type type) {<a name="line.435"></a>
<span class="sourceLineNo">436</span>    return isAssignable(checkNotNull(type), runtimeType);<a name="line.436"></a>
<span class="sourceLineNo">437</span>  }<a name="line.437"></a>
<span class="sourceLineNo">438</span><a name="line.438"></a>
<span class="sourceLineNo">439</span>  /**<a name="line.439"></a>
<span class="sourceLineNo">440</span>   * Returns true if this type is known to be an array type, such as {@code int[]}, {@code T[]},<a name="line.440"></a>
<span class="sourceLineNo">441</span>   * {@code &lt;? extends Map&lt;String, Integer&gt;[]&gt;} etc.<a name="line.441"></a>
<span class="sourceLineNo">442</span>   */<a name="line.442"></a>
<span class="sourceLineNo">443</span>  public final boolean isArray() {<a name="line.443"></a>
<span class="sourceLineNo">444</span>    return getComponentType() != null;<a name="line.444"></a>
<span class="sourceLineNo">445</span>  }<a name="line.445"></a>
<span class="sourceLineNo">446</span><a name="line.446"></a>
<span class="sourceLineNo">447</span>  /**<a name="line.447"></a>
<span class="sourceLineNo">448</span>   * Returns the array component type if this type represents an array ({@code int[]}, {@code T[]},<a name="line.448"></a>
<span class="sourceLineNo">449</span>   * {@code &lt;? extends Map&lt;String, Integer&gt;[]&gt;} etc.), or else {@code null} is returned.<a name="line.449"></a>
<span class="sourceLineNo">450</span>   */<a name="line.450"></a>
<span class="sourceLineNo">451</span>  @Nullable public final TypeToken&lt;?&gt; getComponentType() {<a name="line.451"></a>
<span class="sourceLineNo">452</span>    Type componentType = Types.getComponentType(runtimeType);<a name="line.452"></a>
<span class="sourceLineNo">453</span>    if (componentType == null) {<a name="line.453"></a>
<span class="sourceLineNo">454</span>      return null;<a name="line.454"></a>
<span class="sourceLineNo">455</span>    }<a name="line.455"></a>
<span class="sourceLineNo">456</span>    return of(componentType);<a name="line.456"></a>
<span class="sourceLineNo">457</span>  }<a name="line.457"></a>
<span class="sourceLineNo">458</span><a name="line.458"></a>
<span class="sourceLineNo">459</span>  /**<a name="line.459"></a>
<span class="sourceLineNo">460</span>   * Returns the {@link Invokable} for {@code method}, which must be a member of {@code T}.<a name="line.460"></a>
<span class="sourceLineNo">461</span>   *<a name="line.461"></a>
<span class="sourceLineNo">462</span>   * @since 14.0<a name="line.462"></a>
<span class="sourceLineNo">463</span>   */<a name="line.463"></a>
<span class="sourceLineNo">464</span>  public final Invokable&lt;T, Object&gt; method(Method method) {<a name="line.464"></a>
<span class="sourceLineNo">465</span>    checkArgument(of(method.getDeclaringClass()).isAssignableFrom(this),<a name="line.465"></a>
<span class="sourceLineNo">466</span>        "%s not declared by %s", method, this);<a name="line.466"></a>
<span class="sourceLineNo">467</span>    return new Invokable.MethodInvokable&lt;T&gt;(method) {<a name="line.467"></a>
<span class="sourceLineNo">468</span>      @Override Type getGenericReturnType() {<a name="line.468"></a>
<span class="sourceLineNo">469</span>        return resolveType(super.getGenericReturnType()).getType();<a name="line.469"></a>
<span class="sourceLineNo">470</span>      }<a name="line.470"></a>
<span class="sourceLineNo">471</span>      @Override Type[] getGenericParameterTypes() {<a name="line.471"></a>
<span class="sourceLineNo">472</span>        return resolveInPlace(super.getGenericParameterTypes());<a name="line.472"></a>
<span class="sourceLineNo">473</span>      }<a name="line.473"></a>
<span class="sourceLineNo">474</span>      @Override Type[] getGenericExceptionTypes() {<a name="line.474"></a>
<span class="sourceLineNo">475</span>        return resolveInPlace(super.getGenericExceptionTypes());<a name="line.475"></a>
<span class="sourceLineNo">476</span>      }<a name="line.476"></a>
<span class="sourceLineNo">477</span>    };<a name="line.477"></a>
<span class="sourceLineNo">478</span>  }<a name="line.478"></a>
<span class="sourceLineNo">479</span><a name="line.479"></a>
<span class="sourceLineNo">480</span>  /**<a name="line.480"></a>
<span class="sourceLineNo">481</span>   * Returns the {@link Invokable} for {@code constructor}, which must be a member of {@code T}.<a name="line.481"></a>
<span class="sourceLineNo">482</span>   *<a name="line.482"></a>
<span class="sourceLineNo">483</span>   * @since 14.0<a name="line.483"></a>
<span class="sourceLineNo">484</span>   */<a name="line.484"></a>
<span class="sourceLineNo">485</span>  public final Invokable&lt;T, T&gt; constructor(Constructor&lt;?&gt; constructor) {<a name="line.485"></a>
<span class="sourceLineNo">486</span>    checkArgument(constructor.getDeclaringClass() == getRawType(),<a name="line.486"></a>
<span class="sourceLineNo">487</span>        "%s not declared by %s", constructor, getRawType());<a name="line.487"></a>
<span class="sourceLineNo">488</span>    return new Invokable.ConstructorInvokable&lt;T&gt;(constructor) {<a name="line.488"></a>
<span class="sourceLineNo">489</span>      @Override Type getGenericReturnType() {<a name="line.489"></a>
<span class="sourceLineNo">490</span>        return resolveType(super.getGenericReturnType()).getType();<a name="line.490"></a>
<span class="sourceLineNo">491</span>      }<a name="line.491"></a>
<span class="sourceLineNo">492</span>      @Override Type[] getGenericParameterTypes() {<a name="line.492"></a>
<span class="sourceLineNo">493</span>        return resolveInPlace(super.getGenericParameterTypes());<a name="line.493"></a>
<span class="sourceLineNo">494</span>      }<a name="line.494"></a>
<span class="sourceLineNo">495</span>      @Override Type[] getGenericExceptionTypes() {<a name="line.495"></a>
<span class="sourceLineNo">496</span>        return resolveInPlace(super.getGenericExceptionTypes());<a name="line.496"></a>
<span class="sourceLineNo">497</span>      }<a name="line.497"></a>
<span class="sourceLineNo">498</span>    };<a name="line.498"></a>
<span class="sourceLineNo">499</span>  }<a name="line.499"></a>
<span class="sourceLineNo">500</span><a name="line.500"></a>
<span class="sourceLineNo">501</span>  /**<a name="line.501"></a>
<span class="sourceLineNo">502</span>   * The set of interfaces and classes that {@code T} is or is a subtype of. {@link Object} is not<a name="line.502"></a>
<span class="sourceLineNo">503</span>   * included in the set if this type is an interface.<a name="line.503"></a>
<span class="sourceLineNo">504</span>   */<a name="line.504"></a>
<span class="sourceLineNo">505</span>  public class TypeSet extends ForwardingSet&lt;TypeToken&lt;? super T&gt;&gt; implements Serializable {<a name="line.505"></a>
<span class="sourceLineNo">506</span><a name="line.506"></a>
<span class="sourceLineNo">507</span>    private transient ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; types;<a name="line.507"></a>
<span class="sourceLineNo">508</span><a name="line.508"></a>
<span class="sourceLineNo">509</span>    TypeSet() {}<a name="line.509"></a>
<span class="sourceLineNo">510</span><a name="line.510"></a>
<span class="sourceLineNo">511</span>    /** Returns the types that are interfaces implemented by this type. */<a name="line.511"></a>
<span class="sourceLineNo">512</span>    public TypeSet interfaces() {<a name="line.512"></a>
<span class="sourceLineNo">513</span>      return new InterfaceSet(this);<a name="line.513"></a>
<span class="sourceLineNo">514</span>    }<a name="line.514"></a>
<span class="sourceLineNo">515</span><a name="line.515"></a>
<span class="sourceLineNo">516</span>    /** Returns the types that are classes. */<a name="line.516"></a>
<span class="sourceLineNo">517</span>    public TypeSet classes() {<a name="line.517"></a>
<span class="sourceLineNo">518</span>      return new ClassSet();<a name="line.518"></a>
<span class="sourceLineNo">519</span>    }<a name="line.519"></a>
<span class="sourceLineNo">520</span><a name="line.520"></a>
<span class="sourceLineNo">521</span>    @Override protected Set&lt;TypeToken&lt;? super T&gt;&gt; delegate() {<a name="line.521"></a>
<span class="sourceLineNo">522</span>      ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; filteredTypes = types;<a name="line.522"></a>
<span class="sourceLineNo">523</span>      if (filteredTypes == null) {<a name="line.523"></a>
<span class="sourceLineNo">524</span>        // Java has no way to express ? super T when we parameterize TypeToken vs. Class.<a name="line.524"></a>
<span class="sourceLineNo">525</span>        @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.525"></a>
<span class="sourceLineNo">526</span>        ImmutableList&lt;TypeToken&lt;? super T&gt;&gt; collectedTypes = (ImmutableList)<a name="line.526"></a>
<span class="sourceLineNo">527</span>            TypeCollector.FOR_GENERIC_TYPE.collectTypes(TypeToken.this);<a name="line.527"></a>
<span class="sourceLineNo">528</span>        return (types = FluentIterable.from(collectedTypes)<a name="line.528"></a>
<span class="sourceLineNo">529</span>                .filter(TypeFilter.IGNORE_TYPE_VARIABLE_OR_WILDCARD)<a name="line.529"></a>
<span class="sourceLineNo">530</span>                .toSet());<a name="line.530"></a>
<span class="sourceLineNo">531</span>      } else {<a name="line.531"></a>
<span class="sourceLineNo">532</span>        return filteredTypes;<a name="line.532"></a>
<span class="sourceLineNo">533</span>      }<a name="line.533"></a>
<span class="sourceLineNo">534</span>    }<a name="line.534"></a>
<span class="sourceLineNo">535</span><a name="line.535"></a>
<span class="sourceLineNo">536</span>    /** Returns the raw types of the types in this set, in the same order. */<a name="line.536"></a>
<span class="sourceLineNo">537</span>    public Set&lt;Class&lt;? super T&gt;&gt; rawTypes() {<a name="line.537"></a>
<span class="sourceLineNo">538</span>      // Java has no way to express ? super T when we parameterize TypeToken vs. Class.<a name="line.538"></a>
<span class="sourceLineNo">539</span>      @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.539"></a>
<span class="sourceLineNo">540</span>      ImmutableList&lt;Class&lt;? super T&gt;&gt; collectedTypes = (ImmutableList)<a name="line.540"></a>
<span class="sourceLineNo">541</span>          TypeCollector.FOR_RAW_TYPE.collectTypes(getImmediateRawTypes());<a name="line.541"></a>
<span class="sourceLineNo">542</span>      return ImmutableSet.copyOf(collectedTypes);<a name="line.542"></a>
<span class="sourceLineNo">543</span>    }<a name="line.543"></a>
<span class="sourceLineNo">544</span><a name="line.544"></a>
<span class="sourceLineNo">545</span>    private static final long serialVersionUID = 0;<a name="line.545"></a>
<span class="sourceLineNo">546</span>  }<a name="line.546"></a>
<span class="sourceLineNo">547</span><a name="line.547"></a>
<span class="sourceLineNo">548</span>  private final class InterfaceSet extends TypeSet {<a name="line.548"></a>
<span class="sourceLineNo">549</span><a name="line.549"></a>
<span class="sourceLineNo">550</span>    private transient final TypeSet allTypes;<a name="line.550"></a>
<span class="sourceLineNo">551</span>    private transient ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; interfaces;<a name="line.551"></a>
<span class="sourceLineNo">552</span><a name="line.552"></a>
<span class="sourceLineNo">553</span>    InterfaceSet(TypeSet allTypes) {<a name="line.553"></a>
<span class="sourceLineNo">554</span>      this.allTypes = allTypes;<a name="line.554"></a>
<span class="sourceLineNo">555</span>    }<a name="line.555"></a>
<span class="sourceLineNo">556</span><a name="line.556"></a>
<span class="sourceLineNo">557</span>    @Override protected Set&lt;TypeToken&lt;? super T&gt;&gt; delegate() {<a name="line.557"></a>
<span class="sourceLineNo">558</span>      ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; result = interfaces;<a name="line.558"></a>
<span class="sourceLineNo">559</span>      if (result == null) {<a name="line.559"></a>
<span class="sourceLineNo">560</span>        return (interfaces = FluentIterable.from(allTypes)<a name="line.560"></a>
<span class="sourceLineNo">561</span>            .filter(TypeFilter.INTERFACE_ONLY)<a name="line.561"></a>
<span class="sourceLineNo">562</span>            .toSet());<a name="line.562"></a>
<span class="sourceLineNo">563</span>      } else {<a name="line.563"></a>
<span class="sourceLineNo">564</span>        return result;<a name="line.564"></a>
<span class="sourceLineNo">565</span>      }<a name="line.565"></a>
<span class="sourceLineNo">566</span>    }<a name="line.566"></a>
<span class="sourceLineNo">567</span><a name="line.567"></a>
<span class="sourceLineNo">568</span>    @Override public TypeSet interfaces() {<a name="line.568"></a>
<span class="sourceLineNo">569</span>      return this;<a name="line.569"></a>
<span class="sourceLineNo">570</span>    }<a name="line.570"></a>
<span class="sourceLineNo">571</span><a name="line.571"></a>
<span class="sourceLineNo">572</span>    @Override public Set&lt;Class&lt;? super T&gt;&gt; rawTypes() {<a name="line.572"></a>
<span class="sourceLineNo">573</span>      // Java has no way to express ? super T when we parameterize TypeToken vs. Class.<a name="line.573"></a>
<span class="sourceLineNo">574</span>      @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.574"></a>
<span class="sourceLineNo">575</span>      ImmutableList&lt;Class&lt;? super T&gt;&gt; collectedTypes = (ImmutableList)<a name="line.575"></a>
<span class="sourceLineNo">576</span>          TypeCollector.FOR_RAW_TYPE.collectTypes(getImmediateRawTypes());<a name="line.576"></a>
<span class="sourceLineNo">577</span>      return FluentIterable.from(collectedTypes)<a name="line.577"></a>
<span class="sourceLineNo">578</span>          .filter(new Predicate&lt;Class&lt;?&gt;&gt;() {<a name="line.578"></a>
<span class="sourceLineNo">579</span>            @Override public boolean apply(Class&lt;?&gt; type) {<a name="line.579"></a>
<span class="sourceLineNo">580</span>              return type.isInterface();<a name="line.580"></a>
<span class="sourceLineNo">581</span>            }<a name="line.581"></a>
<span class="sourceLineNo">582</span>          })<a name="line.582"></a>
<span class="sourceLineNo">583</span>          .toSet();<a name="line.583"></a>
<span class="sourceLineNo">584</span>    }<a name="line.584"></a>
<span class="sourceLineNo">585</span><a name="line.585"></a>
<span class="sourceLineNo">586</span>    @Override public TypeSet classes() {<a name="line.586"></a>
<span class="sourceLineNo">587</span>      throw new UnsupportedOperationException("interfaces().classes() not supported.");<a name="line.587"></a>
<span class="sourceLineNo">588</span>    }<a name="line.588"></a>
<span class="sourceLineNo">589</span><a name="line.589"></a>
<span class="sourceLineNo">590</span>    private Object readResolve() {<a name="line.590"></a>
<span class="sourceLineNo">591</span>      return getTypes().interfaces();<a name="line.591"></a>
<span class="sourceLineNo">592</span>    }<a name="line.592"></a>
<span class="sourceLineNo">593</span><a name="line.593"></a>
<span class="sourceLineNo">594</span>    private static final long serialVersionUID = 0;<a name="line.594"></a>
<span class="sourceLineNo">595</span>  }<a name="line.595"></a>
<span class="sourceLineNo">596</span><a name="line.596"></a>
<span class="sourceLineNo">597</span>  private final class ClassSet extends TypeSet {<a name="line.597"></a>
<span class="sourceLineNo">598</span><a name="line.598"></a>
<span class="sourceLineNo">599</span>    private transient ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; classes;<a name="line.599"></a>
<span class="sourceLineNo">600</span><a name="line.600"></a>
<span class="sourceLineNo">601</span>    @Override protected Set&lt;TypeToken&lt;? super T&gt;&gt; delegate() {<a name="line.601"></a>
<span class="sourceLineNo">602</span>      ImmutableSet&lt;TypeToken&lt;? super T&gt;&gt; result = classes;<a name="line.602"></a>
<span class="sourceLineNo">603</span>      if (result == null) {<a name="line.603"></a>
<span class="sourceLineNo">604</span>        @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.604"></a>
<span class="sourceLineNo">605</span>        ImmutableList&lt;TypeToken&lt;? super T&gt;&gt; collectedTypes = (ImmutableList)<a name="line.605"></a>
<span class="sourceLineNo">606</span>            TypeCollector.FOR_GENERIC_TYPE.classesOnly().collectTypes(TypeToken.this);<a name="line.606"></a>
<span class="sourceLineNo">607</span>        return (classes = FluentIterable.from(collectedTypes)<a name="line.607"></a>
<span class="sourceLineNo">608</span>            .filter(TypeFilter.IGNORE_TYPE_VARIABLE_OR_WILDCARD)<a name="line.608"></a>
<span class="sourceLineNo">609</span>            .toSet());<a name="line.609"></a>
<span class="sourceLineNo">610</span>      } else {<a name="line.610"></a>
<span class="sourceLineNo">611</span>        return result;<a name="line.611"></a>
<span class="sourceLineNo">612</span>      }<a name="line.612"></a>
<span class="sourceLineNo">613</span>    }<a name="line.613"></a>
<span class="sourceLineNo">614</span><a name="line.614"></a>
<span class="sourceLineNo">615</span>    @Override public TypeSet classes() {<a name="line.615"></a>
<span class="sourceLineNo">616</span>      return this;<a name="line.616"></a>
<span class="sourceLineNo">617</span>    }<a name="line.617"></a>
<span class="sourceLineNo">618</span><a name="line.618"></a>
<span class="sourceLineNo">619</span>    @Override public Set&lt;Class&lt;? super T&gt;&gt; rawTypes() {<a name="line.619"></a>
<span class="sourceLineNo">620</span>      // Java has no way to express ? super T when we parameterize TypeToken vs. Class.<a name="line.620"></a>
<span class="sourceLineNo">621</span>      @SuppressWarnings({"unchecked", "rawtypes"})<a name="line.621"></a>
<span class="sourceLineNo">622</span>      ImmutableList&lt;Class&lt;? super T&gt;&gt; collectedTypes = (ImmutableList)<a name="line.622"></a>
<span class="sourceLineNo">623</span>          TypeCollector.FOR_RAW_TYPE.classesOnly().collectTypes(getImmediateRawTypes());<a name="line.623"></a>
<span class="sourceLineNo">624</span>      return ImmutableSet.copyOf(collectedTypes);<a name="line.624"></a>
<span class="sourceLineNo">625</span>    }<a name="line.625"></a>
<span class="sourceLineNo">626</span><a name="line.626"></a>
<span class="sourceLineNo">627</span>    @Override public TypeSet interfaces() {<a name="line.627"></a>
<span class="sourceLineNo">628</span>      throw new UnsupportedOperationException("classes().interfaces() not supported.");<a name="line.628"></a>
<span class="sourceLineNo">629</span>    }<a name="line.629"></a>
<span class="sourceLineNo">630</span><a name="line.630"></a>
<span class="sourceLineNo">631</span>    private Object readResolve() {<a name="line.631"></a>
<span class="sourceLineNo">632</span>      return getTypes().classes();<a name="line.632"></a>
<span class="sourceLineNo">633</span>    }<a name="line.633"></a>
<span class="sourceLineNo">634</span><a name="line.634"></a>
<span class="sourceLineNo">635</span>    private static final long serialVersionUID = 0;<a name="line.635"></a>
<span class="sourceLineNo">636</span>  }<a name="line.636"></a>
<span class="sourceLineNo">637</span><a name="line.637"></a>
<span class="sourceLineNo">638</span>  private enum TypeFilter implements Predicate&lt;TypeToken&lt;?&gt;&gt; {<a name="line.638"></a>
<span class="sourceLineNo">639</span><a name="line.639"></a>
<span class="sourceLineNo">640</span>    IGNORE_TYPE_VARIABLE_OR_WILDCARD {<a name="line.640"></a>
<span class="sourceLineNo">641</span>      @Override public boolean apply(TypeToken&lt;?&gt; type) {<a name="line.641"></a>
<span class="sourceLineNo">642</span>        return !(type.runtimeType instanceof TypeVariable<a name="line.642"></a>
<span class="sourceLineNo">643</span>            || type.runtimeType instanceof WildcardType);<a name="line.643"></a>
<span class="sourceLineNo">644</span>      }<a name="line.644"></a>
<span class="sourceLineNo">645</span>    },<a name="line.645"></a>
<span class="sourceLineNo">646</span>    INTERFACE_ONLY {<a name="line.646"></a>
<span class="sourceLineNo">647</span>      @Override public boolean apply(TypeToken&lt;?&gt; type) {<a name="line.647"></a>
<span class="sourceLineNo">648</span>        return type.getRawType().isInterface();<a name="line.648"></a>
<span class="sourceLineNo">649</span>      }<a name="line.649"></a>
<span class="sourceLineNo">650</span>    }<a name="line.650"></a>
<span class="sourceLineNo">651</span>  }<a name="line.651"></a>
<span class="sourceLineNo">652</span><a name="line.652"></a>
<span class="sourceLineNo">653</span>  /**<a name="line.653"></a>
<span class="sourceLineNo">654</span>   * Returns true if {@code o} is another {@code TypeToken} that represents the same {@link Type}.<a name="line.654"></a>
<span class="sourceLineNo">655</span>   */<a name="line.655"></a>
<span class="sourceLineNo">656</span>  @Override public boolean equals(@Nullable Object o) {<a name="line.656"></a>
<span class="sourceLineNo">657</span>    if (o instanceof TypeToken) {<a name="line.657"></a>
<span class="sourceLineNo">658</span>      TypeToken&lt;?&gt; that = (TypeToken&lt;?&gt;) o;<a name="line.658"></a>
<span class="sourceLineNo">659</span>      return runtimeType.equals(that.runtimeType);<a name="line.659"></a>
<span class="sourceLineNo">660</span>    }<a name="line.660"></a>
<span class="sourceLineNo">661</span>    return false;<a name="line.661"></a>
<span class="sourceLineNo">662</span>  }<a name="line.662"></a>
<span class="sourceLineNo">663</span><a name="line.663"></a>
<span class="sourceLineNo">664</span>  @Override public int hashCode() {<a name="line.664"></a>
<span class="sourceLineNo">665</span>    return runtimeType.hashCode();<a name="line.665"></a>
<span class="sourceLineNo">666</span>  }<a name="line.666"></a>
<span class="sourceLineNo">667</span><a name="line.667"></a>
<span class="sourceLineNo">668</span>  @Override public String toString() {<a name="line.668"></a>
<span class="sourceLineNo">669</span>    return Types.toString(runtimeType);<a name="line.669"></a>
<span class="sourceLineNo">670</span>  }<a name="line.670"></a>
<span class="sourceLineNo">671</span><a name="line.671"></a>
<span class="sourceLineNo">672</span>  /** Implemented to support serialization of subclasses. */<a name="line.672"></a>
<span class="sourceLineNo">673</span>  protected Object writeReplace() {<a name="line.673"></a>
<span class="sourceLineNo">674</span>    // TypeResolver just transforms the type to our own impls that are Serializable<a name="line.674"></a>
<span class="sourceLineNo">675</span>    // except TypeVariable.<a name="line.675"></a>
<span class="sourceLineNo">676</span>    return of(new TypeResolver().resolveType(runtimeType));<a name="line.676"></a>
<span class="sourceLineNo">677</span>  }<a name="line.677"></a>
<span class="sourceLineNo">678</span><a name="line.678"></a>
<span class="sourceLineNo">679</span>  /**<a name="line.679"></a>
<span class="sourceLineNo">680</span>   * Ensures that this type token doesn't contain type variables, which can cause unchecked type<a name="line.680"></a>
<span class="sourceLineNo">681</span>   * errors for callers like {@link TypeToInstanceMap}.<a name="line.681"></a>
<span class="sourceLineNo">682</span>   */<a name="line.682"></a>
<span class="sourceLineNo">683</span>  final TypeToken&lt;T&gt; rejectTypeVariables() {<a name="line.683"></a>
<span class="sourceLineNo">684</span>    checkArgument(!Types.containsTypeVariable(runtimeType),<a name="line.684"></a>
<span class="sourceLineNo">685</span>        "%s contains a type variable and is not safe for the operation");<a name="line.685"></a>
<span class="sourceLineNo">686</span>    return this;<a name="line.686"></a>
<span class="sourceLineNo">687</span>  }<a name="line.687"></a>
<span class="sourceLineNo">688</span><a name="line.688"></a>
<span class="sourceLineNo">689</span>  private static boolean isAssignable(Type from, Type to) {<a name="line.689"></a>
<span class="sourceLineNo">690</span>    if (to.equals(from)) {<a name="line.690"></a>
<span class="sourceLineNo">691</span>      return true;<a name="line.691"></a>
<span class="sourceLineNo">692</span>    }<a name="line.692"></a>
<span class="sourceLineNo">693</span>    if (to instanceof WildcardType) {<a name="line.693"></a>
<span class="sourceLineNo">694</span>      return isAssignableToWildcardType(from, (WildcardType) to);<a name="line.694"></a>
<span class="sourceLineNo">695</span>    }<a name="line.695"></a>
<span class="sourceLineNo">696</span>    // if "from" is type variable, it's assignable if any of its "extends"<a name="line.696"></a>
<span class="sourceLineNo">697</span>    // bounds is assignable to "to".<a name="line.697"></a>
<span class="sourceLineNo">698</span>    if (from instanceof TypeVariable) {<a name="line.698"></a>
<span class="sourceLineNo">699</span>      return isAssignableFromAny(((TypeVariable&lt;?&gt;) from).getBounds(), to);<a name="line.699"></a>
<span class="sourceLineNo">700</span>    }<a name="line.700"></a>
<span class="sourceLineNo">701</span>    // if "from" is wildcard, it'a assignable to "to" if any of its "extends"<a name="line.701"></a>
<span class="sourceLineNo">702</span>    // bounds is assignable to "to".<a name="line.702"></a>
<span class="sourceLineNo">703</span>    if (from instanceof WildcardType) {<a name="line.703"></a>
<span class="sourceLineNo">704</span>      return isAssignableFromAny(((WildcardType) from).getUpperBounds(), to);<a name="line.704"></a>
<span class="sourceLineNo">705</span>    }<a name="line.705"></a>
<span class="sourceLineNo">706</span>    if (from instanceof GenericArrayType) {<a name="line.706"></a>
<span class="sourceLineNo">707</span>      return isAssignableFromGenericArrayType((GenericArrayType) from, to);<a name="line.707"></a>
<span class="sourceLineNo">708</span>    }<a name="line.708"></a>
<span class="sourceLineNo">709</span>    // Proceed to regular Type assignability check<a name="line.709"></a>
<span class="sourceLineNo">710</span>    if (to instanceof Class) {<a name="line.710"></a>
<span class="sourceLineNo">711</span>      return isAssignableToClass(from, (Class&lt;?&gt;) to);<a name="line.711"></a>
<span class="sourceLineNo">712</span>    } else if (to instanceof ParameterizedType) {<a name="line.712"></a>
<span class="sourceLineNo">713</span>      return isAssignableToParameterizedType(from, (ParameterizedType) to);<a name="line.713"></a>
<span class="sourceLineNo">714</span>    } else if (to instanceof GenericArrayType) {<a name="line.714"></a>
<span class="sourceLineNo">715</span>      return isAssignableToGenericArrayType(from, (GenericArrayType) to);<a name="line.715"></a>
<span class="sourceLineNo">716</span>    } else { // to instanceof TypeVariable<a name="line.716"></a>
<span class="sourceLineNo">717</span>      return false;<a name="line.717"></a>
<span class="sourceLineNo">718</span>    }<a name="line.718"></a>
<span class="sourceLineNo">719</span>  }<a name="line.719"></a>
<span class="sourceLineNo">720</span><a name="line.720"></a>
<span class="sourceLineNo">721</span>  private static boolean isAssignableFromAny(Type[] fromTypes, Type to) {<a name="line.721"></a>
<span class="sourceLineNo">722</span>    for (Type from : fromTypes) {<a name="line.722"></a>
<span class="sourceLineNo">723</span>      if (isAssignable(from, to)) {<a name="line.723"></a>
<span class="sourceLineNo">724</span>        return true;<a name="line.724"></a>
<span class="sourceLineNo">725</span>      }<a name="line.725"></a>
<span class="sourceLineNo">726</span>    }<a name="line.726"></a>
<span class="sourceLineNo">727</span>    return false;<a name="line.727"></a>
<span class="sourceLineNo">728</span>  }<a name="line.728"></a>
<span class="sourceLineNo">729</span><a name="line.729"></a>
<span class="sourceLineNo">730</span>  private static boolean isAssignableToClass(Type from, Class&lt;?&gt; to) {<a name="line.730"></a>
<span class="sourceLineNo">731</span>    return to.isAssignableFrom(getRawType(from));<a name="line.731"></a>
<span class="sourceLineNo">732</span>  }<a name="line.732"></a>
<span class="sourceLineNo">733</span><a name="line.733"></a>
<span class="sourceLineNo">734</span>  private static boolean isAssignableToWildcardType(<a name="line.734"></a>
<span class="sourceLineNo">735</span>      Type from, WildcardType to) {<a name="line.735"></a>
<span class="sourceLineNo">736</span>    // if "to" is &lt;? extends Foo&gt;, "from" can be:<a name="line.736"></a>
<span class="sourceLineNo">737</span>    // Foo, SubFoo, &lt;? extends Foo&gt;, &lt;? extends SubFoo&gt;, &lt;T extends Foo&gt; or<a name="line.737"></a>
<span class="sourceLineNo">738</span>    // &lt;T extends SubFoo&gt;.<a name="line.738"></a>
<span class="sourceLineNo">739</span>    // if "to" is &lt;? super Foo&gt;, "from" can be:<a name="line.739"></a>
<span class="sourceLineNo">740</span>    // Foo, SuperFoo, &lt;? super Foo&gt; or &lt;? super SuperFoo&gt;.<a name="line.740"></a>
<span class="sourceLineNo">741</span>    return isAssignable(from, supertypeBound(to)) &amp;&amp; isAssignableBySubtypeBound(from, to);<a name="line.741"></a>
<span class="sourceLineNo">742</span>  }<a name="line.742"></a>
<span class="sourceLineNo">743</span><a name="line.743"></a>
<span class="sourceLineNo">744</span>  private static boolean isAssignableBySubtypeBound(Type from, WildcardType to) {<a name="line.744"></a>
<span class="sourceLineNo">745</span>    Type toSubtypeBound = subtypeBound(to);<a name="line.745"></a>
<span class="sourceLineNo">746</span>    if (toSubtypeBound == null) {<a name="line.746"></a>
<span class="sourceLineNo">747</span>      return true;<a name="line.747"></a>
<span class="sourceLineNo">748</span>    }<a name="line.748"></a>
<span class="sourceLineNo">749</span>    Type fromSubtypeBound = subtypeBound(from);<a name="line.749"></a>
<span class="sourceLineNo">750</span>    if (fromSubtypeBound == null) {<a name="line.750"></a>
<span class="sourceLineNo">751</span>      return false;<a name="line.751"></a>
<span class="sourceLineNo">752</span>    }<a name="line.752"></a>
<span class="sourceLineNo">753</span>    return isAssignable(toSubtypeBound, fromSubtypeBound);<a name="line.753"></a>
<span class="sourceLineNo">754</span>  }<a name="line.754"></a>
<span class="sourceLineNo">755</span><a name="line.755"></a>
<span class="sourceLineNo">756</span>  private static boolean isAssignableToParameterizedType(Type from, ParameterizedType to) {<a name="line.756"></a>
<span class="sourceLineNo">757</span>    Class&lt;?&gt; matchedClass = getRawType(to);<a name="line.757"></a>
<span class="sourceLineNo">758</span>    if (!matchedClass.isAssignableFrom(getRawType(from))) {<a name="line.758"></a>
<span class="sourceLineNo">759</span>      return false;<a name="line.759"></a>
<span class="sourceLineNo">760</span>    }<a name="line.760"></a>
<span class="sourceLineNo">761</span>    Type[] typeParams = matchedClass.getTypeParameters();<a name="line.761"></a>
<span class="sourceLineNo">762</span>    Type[] toTypeArgs = to.getActualTypeArguments();<a name="line.762"></a>
<span class="sourceLineNo">763</span>    TypeToken&lt;?&gt; fromTypeToken = of(from);<a name="line.763"></a>
<span class="sourceLineNo">764</span>    for (int i = 0; i &lt; typeParams.length; i++) {<a name="line.764"></a>
<span class="sourceLineNo">765</span>      // If "to" is "List&lt;? extends CharSequence&gt;"<a name="line.765"></a>
<span class="sourceLineNo">766</span>      // and "from" is StringArrayList,<a name="line.766"></a>
<span class="sourceLineNo">767</span>      // First step is to figure out StringArrayList "is-a" List&lt;E&gt; and &lt;E&gt; is<a name="line.767"></a>
<span class="sourceLineNo">768</span>      // String.<a name="line.768"></a>
<span class="sourceLineNo">769</span>      // typeParams[0] is E and fromTypeToken.get(typeParams[0]) will resolve to<a name="line.769"></a>
<span class="sourceLineNo">770</span>      // String.<a name="line.770"></a>
<span class="sourceLineNo">771</span>      // String is then matched against &lt;? extends CharSequence&gt;.<a name="line.771"></a>
<span class="sourceLineNo">772</span>      Type fromTypeArg = fromTypeToken.resolveType(typeParams[i]).runtimeType;<a name="line.772"></a>
<span class="sourceLineNo">773</span>      if (!matchTypeArgument(fromTypeArg, toTypeArgs[i])) {<a name="line.773"></a>
<span class="sourceLineNo">774</span>        return false;<a name="line.774"></a>
<span class="sourceLineNo">775</span>      }<a name="line.775"></a>
<span class="sourceLineNo">776</span>    }<a name="line.776"></a>
<span class="sourceLineNo">777</span>    return true;<a name="line.777"></a>
<span class="sourceLineNo">778</span>  }<a name="line.778"></a>
<span class="sourceLineNo">779</span><a name="line.779"></a>
<span class="sourceLineNo">780</span>  private static boolean isAssignableToGenericArrayType(Type from, GenericArrayType to) {<a name="line.780"></a>
<span class="sourceLineNo">781</span>    if (from instanceof Class) {<a name="line.781"></a>
<span class="sourceLineNo">782</span>      Class&lt;?&gt; fromClass = (Class&lt;?&gt;) from;<a name="line.782"></a>
<span class="sourceLineNo">783</span>      if (!fromClass.isArray()) {<a name="line.783"></a>
<span class="sourceLineNo">784</span>        return false;<a name="line.784"></a>
<span class="sourceLineNo">785</span>      }<a name="line.785"></a>
<span class="sourceLineNo">786</span>      return isAssignable(fromClass.getComponentType(), to.getGenericComponentType());<a name="line.786"></a>
<span class="sourceLineNo">787</span>    } else if (from instanceof GenericArrayType) {<a name="line.787"></a>
<span class="sourceLineNo">788</span>      GenericArrayType fromArrayType = (GenericArrayType) from;<a name="line.788"></a>
<span class="sourceLineNo">789</span>      return isAssignable(fromArrayType.getGenericComponentType(), to.getGenericComponentType());<a name="line.789"></a>
<span class="sourceLineNo">790</span>    } else {<a name="line.790"></a>
<span class="sourceLineNo">791</span>      return false;<a name="line.791"></a>
<span class="sourceLineNo">792</span>    }<a name="line.792"></a>
<span class="sourceLineNo">793</span>  }<a name="line.793"></a>
<span class="sourceLineNo">794</span><a name="line.794"></a>
<span class="sourceLineNo">795</span>  private static boolean isAssignableFromGenericArrayType(GenericArrayType from, Type to) {<a name="line.795"></a>
<span class="sourceLineNo">796</span>    if (to instanceof Class) {<a name="line.796"></a>
<span class="sourceLineNo">797</span>      Class&lt;?&gt; toClass = (Class&lt;?&gt;) to;<a name="line.797"></a>
<span class="sourceLineNo">798</span>      if (!toClass.isArray()) {<a name="line.798"></a>
<span class="sourceLineNo">799</span>        return toClass == Object.class; // any T[] is assignable to Object<a name="line.799"></a>
<span class="sourceLineNo">800</span>      }<a name="line.800"></a>
<span class="sourceLineNo">801</span>      return isAssignable(from.getGenericComponentType(), toClass.getComponentType());<a name="line.801"></a>
<span class="sourceLineNo">802</span>    } else if (to instanceof GenericArrayType) {<a name="line.802"></a>
<span class="sourceLineNo">803</span>      GenericArrayType toArrayType = (GenericArrayType) to;<a name="line.803"></a>
<span class="sourceLineNo">804</span>      return isAssignable(from.getGenericComponentType(), toArrayType.getGenericComponentType());<a name="line.804"></a>
<span class="sourceLineNo">805</span>    } else {<a name="line.805"></a>
<span class="sourceLineNo">806</span>      return false;<a name="line.806"></a>
<span class="sourceLineNo">807</span>    }<a name="line.807"></a>
<span class="sourceLineNo">808</span>  }<a name="line.808"></a>
<span class="sourceLineNo">809</span><a name="line.809"></a>
<span class="sourceLineNo">810</span>  private static boolean matchTypeArgument(Type from, Type to) {<a name="line.810"></a>
<span class="sourceLineNo">811</span>    if (from.equals(to)) {<a name="line.811"></a>
<span class="sourceLineNo">812</span>      return true;<a name="line.812"></a>
<span class="sourceLineNo">813</span>    }<a name="line.813"></a>
<span class="sourceLineNo">814</span>    if (to instanceof WildcardType) {<a name="line.814"></a>
<span class="sourceLineNo">815</span>      return isAssignableToWildcardType(from, (WildcardType) to);<a name="line.815"></a>
<span class="sourceLineNo">816</span>    }<a name="line.816"></a>
<span class="sourceLineNo">817</span>    return false;<a name="line.817"></a>
<span class="sourceLineNo">818</span>  }<a name="line.818"></a>
<span class="sourceLineNo">819</span><a name="line.819"></a>
<span class="sourceLineNo">820</span>  private static Type supertypeBound(Type type) {<a name="line.820"></a>
<span class="sourceLineNo">821</span>    if (type instanceof WildcardType) {<a name="line.821"></a>
<span class="sourceLineNo">822</span>      return supertypeBound((WildcardType) type);<a name="line.822"></a>
<span class="sourceLineNo">823</span>    }<a name="line.823"></a>
<span class="sourceLineNo">824</span>    return type;<a name="line.824"></a>
<span class="sourceLineNo">825</span>  }<a name="line.825"></a>
<span class="sourceLineNo">826</span><a name="line.826"></a>
<span class="sourceLineNo">827</span>  private static Type supertypeBound(WildcardType type) {<a name="line.827"></a>
<span class="sourceLineNo">828</span>    Type[] upperBounds = type.getUpperBounds();<a name="line.828"></a>
<span class="sourceLineNo">829</span>    if (upperBounds.length == 1) {<a name="line.829"></a>
<span class="sourceLineNo">830</span>      return supertypeBound(upperBounds[0]);<a name="line.830"></a>
<span class="sourceLineNo">831</span>    } else if (upperBounds.length == 0) {<a name="line.831"></a>
<span class="sourceLineNo">832</span>      return Object.class;<a name="line.832"></a>
<span class="sourceLineNo">833</span>    } else {<a name="line.833"></a>
<span class="sourceLineNo">834</span>      throw new AssertionError(<a name="line.834"></a>
<span class="sourceLineNo">835</span>          "There should be at most one upper bound for wildcard type: " + type);<a name="line.835"></a>
<span class="sourceLineNo">836</span>    }<a name="line.836"></a>
<span class="sourceLineNo">837</span>  }<a name="line.837"></a>
<span class="sourceLineNo">838</span><a name="line.838"></a>
<span class="sourceLineNo">839</span>  @Nullable private static Type subtypeBound(Type type) {<a name="line.839"></a>
<span class="sourceLineNo">840</span>    if (type instanceof WildcardType) {<a name="line.840"></a>
<span class="sourceLineNo">841</span>      return subtypeBound((WildcardType) type);<a name="line.841"></a>
<span class="sourceLineNo">842</span>    } else {<a name="line.842"></a>
<span class="sourceLineNo">843</span>      return type;<a name="line.843"></a>
<span class="sourceLineNo">844</span>    }<a name="line.844"></a>
<span class="sourceLineNo">845</span>  }<a name="line.845"></a>
<span class="sourceLineNo">846</span><a name="line.846"></a>
<span class="sourceLineNo">847</span>  @Nullable private static Type subtypeBound(WildcardType type) {<a name="line.847"></a>
<span class="sourceLineNo">848</span>    Type[] lowerBounds = type.getLowerBounds();<a name="line.848"></a>
<span class="sourceLineNo">849</span>    if (lowerBounds.length == 1) {<a name="line.849"></a>
<span class="sourceLineNo">850</span>      return subtypeBound(lowerBounds[0]);<a name="line.850"></a>
<span class="sourceLineNo">851</span>    } else if (lowerBounds.length == 0) {<a name="line.851"></a>
<span class="sourceLineNo">852</span>      return null;<a name="line.852"></a>
<span class="sourceLineNo">853</span>    } else {<a name="line.853"></a>
<span class="sourceLineNo">854</span>      throw new AssertionError(<a name="line.854"></a>
<span class="sourceLineNo">855</span>          "Wildcard should have at most one lower bound: " + type);<a name="line.855"></a>
<span class="sourceLineNo">856</span>    }<a name="line.856"></a>
<span class="sourceLineNo">857</span>  }<a name="line.857"></a>
<span class="sourceLineNo">858</span><a name="line.858"></a>
<span class="sourceLineNo">859</span>  @VisibleForTesting static Class&lt;?&gt; getRawType(Type type) {<a name="line.859"></a>
<span class="sourceLineNo">860</span>    // For wildcard or type variable, the first bound determines the runtime type.<a name="line.860"></a>
<span class="sourceLineNo">861</span>    return getRawTypes(type).iterator().next();<a name="line.861"></a>
<span class="sourceLineNo">862</span>  }<a name="line.862"></a>
<span class="sourceLineNo">863</span><a name="line.863"></a>
<span class="sourceLineNo">864</span>  @VisibleForTesting static ImmutableSet&lt;Class&lt;?&gt;&gt; getRawTypes(Type type) {<a name="line.864"></a>
<span class="sourceLineNo">865</span>    if (type instanceof Class) {<a name="line.865"></a>
<span class="sourceLineNo">866</span>      return ImmutableSet.&lt;Class&lt;?&gt;&gt;of((Class&lt;?&gt;) type);<a name="line.866"></a>
<span class="sourceLineNo">867</span>    } else if (type instanceof ParameterizedType) {<a name="line.867"></a>
<span class="sourceLineNo">868</span>      ParameterizedType parameterizedType = (ParameterizedType) type;<a name="line.868"></a>
<span class="sourceLineNo">869</span>      // JDK implementation declares getRawType() to return Class&lt;?&gt;<a name="line.869"></a>
<span class="sourceLineNo">870</span>      return ImmutableSet.&lt;Class&lt;?&gt;&gt;of((Class&lt;?&gt;) parameterizedType.getRawType());<a name="line.870"></a>
<span class="sourceLineNo">871</span>    } else if (type instanceof GenericArrayType) {<a name="line.871"></a>
<span class="sourceLineNo">872</span>      GenericArrayType genericArrayType = (GenericArrayType) type;<a name="line.872"></a>
<span class="sourceLineNo">873</span>      return ImmutableSet.&lt;Class&lt;?&gt;&gt;of(Types.getArrayClass(<a name="line.873"></a>
<span class="sourceLineNo">874</span>          getRawType(genericArrayType.getGenericComponentType())));<a name="line.874"></a>
<span class="sourceLineNo">875</span>    } else if (type instanceof TypeVariable) {<a name="line.875"></a>
<span class="sourceLineNo">876</span>      return getRawTypes(((TypeVariable&lt;?&gt;) type).getBounds());<a name="line.876"></a>
<span class="sourceLineNo">877</span>    } else if (type instanceof WildcardType) {<a name="line.877"></a>
<span class="sourceLineNo">878</span>      return getRawTypes(((WildcardType) type).getUpperBounds());<a name="line.878"></a>
<span class="sourceLineNo">879</span>    } else {<a name="line.879"></a>
<span class="sourceLineNo">880</span>      throw new AssertionError(type + " unsupported");<a name="line.880"></a>
<span class="sourceLineNo">881</span>    }<a name="line.881"></a>
<span class="sourceLineNo">882</span>  }<a name="line.882"></a>
<span class="sourceLineNo">883</span><a name="line.883"></a>
<span class="sourceLineNo">884</span>  private static ImmutableSet&lt;Class&lt;?&gt;&gt; getRawTypes(Type[] types) {<a name="line.884"></a>
<span class="sourceLineNo">885</span>    ImmutableSet.Builder&lt;Class&lt;?&gt;&gt; builder = ImmutableSet.builder();<a name="line.885"></a>
<span class="sourceLineNo">886</span>    for (Type type : types) {<a name="line.886"></a>
<span class="sourceLineNo">887</span>      builder.addAll(getRawTypes(type));<a name="line.887"></a>
<span class="sourceLineNo">888</span>    }<a name="line.888"></a>
<span class="sourceLineNo">889</span>    return builder.build();<a name="line.889"></a>
<span class="sourceLineNo">890</span>  }<a name="line.890"></a>
<span class="sourceLineNo">891</span><a name="line.891"></a>
<span class="sourceLineNo">892</span>  /**<a name="line.892"></a>
<span class="sourceLineNo">893</span>   * Returns the type token representing the generic type declaration of {@code cls}. For example:<a name="line.893"></a>
<span class="sourceLineNo">894</span>   * {@code TypeToken.getGenericType(Iterable.class)} returns {@code Iterable&lt;T&gt;}.<a name="line.894"></a>
<span class="sourceLineNo">895</span>   *<a name="line.895"></a>
<span class="sourceLineNo">896</span>   * &lt;p&gt;If {@code cls} isn't parameterized and isn't a generic array, the type token of the class is<a name="line.896"></a>
<span class="sourceLineNo">897</span>   * returned.<a name="line.897"></a>
<span class="sourceLineNo">898</span>   */<a name="line.898"></a>
<span class="sourceLineNo">899</span>  @VisibleForTesting static &lt;T&gt; TypeToken&lt;? extends T&gt; toGenericType(Class&lt;T&gt; cls) {<a name="line.899"></a>
<span class="sourceLineNo">900</span>    if (cls.isArray()) {<a name="line.900"></a>
<span class="sourceLineNo">901</span>      Type arrayOfGenericType = Types.newArrayType(<a name="line.901"></a>
<span class="sourceLineNo">902</span>          // If we are passed with int[].class, don't turn it to GenericArrayType<a name="line.902"></a>
<span class="sourceLineNo">903</span>          toGenericType(cls.getComponentType()).runtimeType);<a name="line.903"></a>
<span class="sourceLineNo">904</span>      @SuppressWarnings("unchecked") // array is covariant<a name="line.904"></a>
<span class="sourceLineNo">905</span>      TypeToken&lt;? extends T&gt; result = (TypeToken&lt;? extends T&gt;) of(arrayOfGenericType);<a name="line.905"></a>
<span class="sourceLineNo">906</span>      return result;<a name="line.906"></a>
<span class="sourceLineNo">907</span>    }<a name="line.907"></a>
<span class="sourceLineNo">908</span>    TypeVariable&lt;Class&lt;T&gt;&gt;[] typeParams = cls.getTypeParameters();<a name="line.908"></a>
<span class="sourceLineNo">909</span>    if (typeParams.length &gt; 0) {<a name="line.909"></a>
<span class="sourceLineNo">910</span>      @SuppressWarnings("unchecked") // Like, it's Iterable&lt;T&gt; for Iterable.class<a name="line.910"></a>
<span class="sourceLineNo">911</span>      TypeToken&lt;? extends T&gt; type = (TypeToken&lt;? extends T&gt;)<a name="line.911"></a>
<span class="sourceLineNo">912</span>          of(Types.newParameterizedType(cls, typeParams));<a name="line.912"></a>
<span class="sourceLineNo">913</span>      return type;<a name="line.913"></a>
<span class="sourceLineNo">914</span>    } else {<a name="line.914"></a>
<span class="sourceLineNo">915</span>      return of(cls);<a name="line.915"></a>
<span class="sourceLineNo">916</span>    }<a name="line.916"></a>
<span class="sourceLineNo">917</span>  }<a name="line.917"></a>
<span class="sourceLineNo">918</span><a name="line.918"></a>
<span class="sourceLineNo">919</span>  private TypeToken&lt;? super T&gt; getSupertypeFromUpperBounds(<a name="line.919"></a>
<span class="sourceLineNo">920</span>      Class&lt;? super T&gt; supertype, Type[] upperBounds) {<a name="line.920"></a>
<span class="sourceLineNo">921</span>    for (Type upperBound : upperBounds) {<a name="line.921"></a>
<span class="sourceLineNo">922</span>      @SuppressWarnings("unchecked") // T's upperbound is &lt;? super T&gt;.<a name="line.922"></a>
<span class="sourceLineNo">923</span>      TypeToken&lt;? super T&gt; bound = (TypeToken&lt;? super T&gt;) of(upperBound);<a name="line.923"></a>
<span class="sourceLineNo">924</span>      if (of(supertype).isAssignableFrom(bound)) {<a name="line.924"></a>
<span class="sourceLineNo">925</span>        @SuppressWarnings({"rawtypes", "unchecked"}) // guarded by the isAssignableFrom check.<a name="line.925"></a>
<span class="sourceLineNo">926</span>        TypeToken&lt;? super T&gt; result = bound.getSupertype((Class) supertype);<a name="line.926"></a>
<span class="sourceLineNo">927</span>        return result;<a name="line.927"></a>
<span class="sourceLineNo">928</span>      }<a name="line.928"></a>
<span class="sourceLineNo">929</span>    }<a name="line.929"></a>
<span class="sourceLineNo">930</span>    throw new IllegalArgumentException(supertype + " isn't a super type of " + this);<a name="line.930"></a>
<span class="sourceLineNo">931</span>  }<a name="line.931"></a>
<span class="sourceLineNo">932</span><a name="line.932"></a>
<span class="sourceLineNo">933</span>  private TypeToken&lt;? extends T&gt; getSubtypeFromLowerBounds(Class&lt;?&gt; subclass, Type[] lowerBounds) {<a name="line.933"></a>
<span class="sourceLineNo">934</span>    for (Type lowerBound : lowerBounds) {<a name="line.934"></a>
<span class="sourceLineNo">935</span>      @SuppressWarnings("unchecked") // T's lower bound is &lt;? extends T&gt;<a name="line.935"></a>
<span class="sourceLineNo">936</span>      TypeToken&lt;? extends T&gt; bound = (TypeToken&lt;? extends T&gt;) of(lowerBound);<a name="line.936"></a>
<span class="sourceLineNo">937</span>      // Java supports only one lowerbound anyway.<a name="line.937"></a>
<span class="sourceLineNo">938</span>      return bound.getSubtype(subclass);<a name="line.938"></a>
<span class="sourceLineNo">939</span>    }<a name="line.939"></a>
<span class="sourceLineNo">940</span>    throw new IllegalArgumentException(subclass + " isn't a subclass of " + this);<a name="line.940"></a>
<span class="sourceLineNo">941</span>  }<a name="line.941"></a>
<span class="sourceLineNo">942</span><a name="line.942"></a>
<span class="sourceLineNo">943</span>  private TypeToken&lt;? super T&gt; getArraySupertype(Class&lt;? super T&gt; supertype) {<a name="line.943"></a>
<span class="sourceLineNo">944</span>    // with component type, we have lost generic type information<a name="line.944"></a>
<span class="sourceLineNo">945</span>    // Use raw type so that compiler allows us to call getSupertype()<a name="line.945"></a>
<span class="sourceLineNo">946</span>    @SuppressWarnings("rawtypes")<a name="line.946"></a>
<span class="sourceLineNo">947</span>    TypeToken componentType = checkNotNull(getComponentType(),<a name="line.947"></a>
<span class="sourceLineNo">948</span>        "%s isn't a super type of %s", supertype, this);<a name="line.948"></a>
<span class="sourceLineNo">949</span>    // array is covariant. component type is super type, so is the array type.<a name="line.949"></a>
<span class="sourceLineNo">950</span>    @SuppressWarnings("unchecked") // going from raw type back to generics<a name="line.950"></a>
<span class="sourceLineNo">951</span>    TypeToken&lt;?&gt; componentSupertype = componentType.getSupertype(supertype.getComponentType());<a name="line.951"></a>
<span class="sourceLineNo">952</span>    @SuppressWarnings("unchecked") // component type is super type, so is array type.<a name="line.952"></a>
<span class="sourceLineNo">953</span>    TypeToken&lt;? super T&gt; result = (TypeToken&lt;? super T&gt;)<a name="line.953"></a>
<span class="sourceLineNo">954</span>        // If we are passed with int[].class, don't turn it to GenericArrayType<a name="line.954"></a>
<span class="sourceLineNo">955</span>        of(newArrayClassOrGenericArrayType(componentSupertype.runtimeType));<a name="line.955"></a>
<span class="sourceLineNo">956</span>    return result;<a name="line.956"></a>
<span class="sourceLineNo">957</span>  }<a name="line.957"></a>
<span class="sourceLineNo">958</span><a name="line.958"></a>
<span class="sourceLineNo">959</span>  private TypeToken&lt;? extends T&gt; getArraySubtype(Class&lt;?&gt; subclass) {<a name="line.959"></a>
<span class="sourceLineNo">960</span>    // array is covariant. component type is subtype, so is the array type.<a name="line.960"></a>
<span class="sourceLineNo">961</span>    TypeToken&lt;?&gt; componentSubtype = getComponentType()<a name="line.961"></a>
<span class="sourceLineNo">962</span>        .getSubtype(subclass.getComponentType());<a name="line.962"></a>
<span class="sourceLineNo">963</span>    @SuppressWarnings("unchecked") // component type is subtype, so is array type.<a name="line.963"></a>
<span class="sourceLineNo">964</span>    TypeToken&lt;? extends T&gt; result = (TypeToken&lt;? extends T&gt;)<a name="line.964"></a>
<span class="sourceLineNo">965</span>        // If we are passed with int[].class, don't turn it to GenericArrayType<a name="line.965"></a>
<span class="sourceLineNo">966</span>        of(newArrayClassOrGenericArrayType(componentSubtype.runtimeType));<a name="line.966"></a>
<span class="sourceLineNo">967</span>    return result;<a name="line.967"></a>
<span class="sourceLineNo">968</span>  }<a name="line.968"></a>
<span class="sourceLineNo">969</span><a name="line.969"></a>
<span class="sourceLineNo">970</span>  private Type resolveTypeArgsForSubclass(Class&lt;?&gt; subclass) {<a name="line.970"></a>
<span class="sourceLineNo">971</span>    if (runtimeType instanceof Class) {<a name="line.971"></a>
<span class="sourceLineNo">972</span>      // no resolution needed<a name="line.972"></a>
<span class="sourceLineNo">973</span>      return subclass;<a name="line.973"></a>
<span class="sourceLineNo">974</span>    }<a name="line.974"></a>
<span class="sourceLineNo">975</span>    // class Base&lt;A, B&gt; {}<a name="line.975"></a>
<span class="sourceLineNo">976</span>    // class Sub&lt;X, Y&gt; extends Base&lt;X, Y&gt; {}<a name="line.976"></a>
<span class="sourceLineNo">977</span>    // Base&lt;String, Integer&gt;.subtype(Sub.class):<a name="line.977"></a>
<span class="sourceLineNo">978</span><a name="line.978"></a>
<span class="sourceLineNo">979</span>    // Sub&lt;X, Y&gt;.getSupertype(Base.class) =&gt; Base&lt;X, Y&gt;<a name="line.979"></a>
<span class="sourceLineNo">980</span>    // =&gt; X=String, Y=Integer<a name="line.980"></a>
<span class="sourceLineNo">981</span>    // =&gt; Sub&lt;X, Y&gt;=Sub&lt;String, Integer&gt;<a name="line.981"></a>
<span class="sourceLineNo">982</span>    TypeToken&lt;?&gt; genericSubtype = toGenericType(subclass);<a name="line.982"></a>
<span class="sourceLineNo">983</span>    @SuppressWarnings({"rawtypes", "unchecked"}) // subclass isn't &lt;? extends T&gt;<a name="line.983"></a>
<span class="sourceLineNo">984</span>    Type supertypeWithArgsFromSubtype = genericSubtype<a name="line.984"></a>
<span class="sourceLineNo">985</span>        .getSupertype((Class) getRawType())<a name="line.985"></a>
<span class="sourceLineNo">986</span>        .runtimeType;<a name="line.986"></a>
<span class="sourceLineNo">987</span>    return new TypeResolver().where(supertypeWithArgsFromSubtype, runtimeType)<a name="line.987"></a>
<span class="sourceLineNo">988</span>        .resolveType(genericSubtype.runtimeType);<a name="line.988"></a>
<span class="sourceLineNo">989</span>  }<a name="line.989"></a>
<span class="sourceLineNo">990</span><a name="line.990"></a>
<span class="sourceLineNo">991</span>  /**<a name="line.991"></a>
<span class="sourceLineNo">992</span>   * Creates an array class if {@code componentType} is a class, or else, a<a name="line.992"></a>
<span class="sourceLineNo">993</span>   * {@link GenericArrayType}. This is what Java7 does for generic array type<a name="line.993"></a>
<span class="sourceLineNo">994</span>   * parameters.<a name="line.994"></a>
<span class="sourceLineNo">995</span>   */<a name="line.995"></a>
<span class="sourceLineNo">996</span>  private static Type newArrayClassOrGenericArrayType(Type componentType) {<a name="line.996"></a>
<span class="sourceLineNo">997</span>    return Types.JavaVersion.JAVA7.newArrayType(componentType);<a name="line.997"></a>
<span class="sourceLineNo">998</span>  }<a name="line.998"></a>
<span class="sourceLineNo">999</span><a name="line.999"></a>
<span class="sourceLineNo">1000</span>  private static final class SimpleTypeToken&lt;T&gt; extends TypeToken&lt;T&gt; {<a name="line.1000"></a>
<span class="sourceLineNo">1001</span><a name="line.1001"></a>
<span class="sourceLineNo">1002</span>    SimpleTypeToken(Type type) {<a name="line.1002"></a>
<span class="sourceLineNo">1003</span>      super(type);<a name="line.1003"></a>
<span class="sourceLineNo">1004</span>    }<a name="line.1004"></a>
<span class="sourceLineNo">1005</span><a name="line.1005"></a>
<span class="sourceLineNo">1006</span>    private static final long serialVersionUID = 0;<a name="line.1006"></a>
<span class="sourceLineNo">1007</span>  }<a name="line.1007"></a>
<span class="sourceLineNo">1008</span><a name="line.1008"></a>
<span class="sourceLineNo">1009</span>  /**<a name="line.1009"></a>
<span class="sourceLineNo">1010</span>   * Collects parent types from a sub type.<a name="line.1010"></a>
<span class="sourceLineNo">1011</span>   *<a name="line.1011"></a>
<span class="sourceLineNo">1012</span>   * @param &lt;K&gt; The type "kind". Either a TypeToken, or Class.<a name="line.1012"></a>
<span class="sourceLineNo">1013</span>   */<a name="line.1013"></a>
<span class="sourceLineNo">1014</span>  private abstract static class TypeCollector&lt;K&gt; {<a name="line.1014"></a>
<span class="sourceLineNo">1015</span><a name="line.1015"></a>
<span class="sourceLineNo">1016</span>    static final TypeCollector&lt;TypeToken&lt;?&gt;&gt; FOR_GENERIC_TYPE =<a name="line.1016"></a>
<span class="sourceLineNo">1017</span>        new TypeCollector&lt;TypeToken&lt;?&gt;&gt;() {<a name="line.1017"></a>
<span class="sourceLineNo">1018</span>          @Override Class&lt;?&gt; getRawType(TypeToken&lt;?&gt; type) {<a name="line.1018"></a>
<span class="sourceLineNo">1019</span>            return type.getRawType();<a name="line.1019"></a>
<span class="sourceLineNo">1020</span>          }<a name="line.1020"></a>
<span class="sourceLineNo">1021</span><a name="line.1021"></a>
<span class="sourceLineNo">1022</span>          @Override Iterable&lt;? extends TypeToken&lt;?&gt;&gt; getInterfaces(TypeToken&lt;?&gt; type) {<a name="line.1022"></a>
<span class="sourceLineNo">1023</span>            return type.getGenericInterfaces();<a name="line.1023"></a>
<span class="sourceLineNo">1024</span>          }<a name="line.1024"></a>
<span class="sourceLineNo">1025</span><a name="line.1025"></a>
<span class="sourceLineNo">1026</span>          @Nullable<a name="line.1026"></a>
<span class="sourceLineNo">1027</span>          @Override TypeToken&lt;?&gt; getSuperclass(TypeToken&lt;?&gt; type) {<a name="line.1027"></a>
<span class="sourceLineNo">1028</span>            return type.getGenericSuperclass();<a name="line.1028"></a>
<span class="sourceLineNo">1029</span>          }<a name="line.1029"></a>
<span class="sourceLineNo">1030</span>        };<a name="line.1030"></a>
<span class="sourceLineNo">1031</span><a name="line.1031"></a>
<span class="sourceLineNo">1032</span>    static final TypeCollector&lt;Class&lt;?&gt;&gt; FOR_RAW_TYPE =<a name="line.1032"></a>
<span class="sourceLineNo">1033</span>        new TypeCollector&lt;Class&lt;?&gt;&gt;() {<a name="line.1033"></a>
<span class="sourceLineNo">1034</span>          @Override Class&lt;?&gt; getRawType(Class&lt;?&gt; type) {<a name="line.1034"></a>
<span class="sourceLineNo">1035</span>            return type;<a name="line.1035"></a>
<span class="sourceLineNo">1036</span>          }<a name="line.1036"></a>
<span class="sourceLineNo">1037</span><a name="line.1037"></a>
<span class="sourceLineNo">1038</span>          @Override Iterable&lt;? extends Class&lt;?&gt;&gt; getInterfaces(Class&lt;?&gt; type) {<a name="line.1038"></a>
<span class="sourceLineNo">1039</span>            return Arrays.asList(type.getInterfaces());<a name="line.1039"></a>
<span class="sourceLineNo">1040</span>          }<a name="line.1040"></a>
<span class="sourceLineNo">1041</span><a name="line.1041"></a>
<span class="sourceLineNo">1042</span>          @Nullable<a name="line.1042"></a>
<span class="sourceLineNo">1043</span>          @Override Class&lt;?&gt; getSuperclass(Class&lt;?&gt; type) {<a name="line.1043"></a>
<span class="sourceLineNo">1044</span>            return type.getSuperclass();<a name="line.1044"></a>
<span class="sourceLineNo">1045</span>          }<a name="line.1045"></a>
<span class="sourceLineNo">1046</span>        };<a name="line.1046"></a>
<span class="sourceLineNo">1047</span><a name="line.1047"></a>
<span class="sourceLineNo">1048</span>    /** For just classes, we don't have to traverse interfaces. */<a name="line.1048"></a>
<span class="sourceLineNo">1049</span>    final TypeCollector&lt;K&gt; classesOnly() {<a name="line.1049"></a>
<span class="sourceLineNo">1050</span>      return new ForwardingTypeCollector&lt;K&gt;(this) {<a name="line.1050"></a>
<span class="sourceLineNo">1051</span>        @Override Iterable&lt;? extends K&gt; getInterfaces(K type) {<a name="line.1051"></a>
<span class="sourceLineNo">1052</span>          return ImmutableSet.of();<a name="line.1052"></a>
<span class="sourceLineNo">1053</span>        }<a name="line.1053"></a>
<span class="sourceLineNo">1054</span>        @Override ImmutableList&lt;K&gt; collectTypes(Iterable&lt;? extends K&gt; types) {<a name="line.1054"></a>
<span class="sourceLineNo">1055</span>          ImmutableList.Builder&lt;K&gt; builder = ImmutableList.builder();<a name="line.1055"></a>
<span class="sourceLineNo">1056</span>          for (K type : types) {<a name="line.1056"></a>
<span class="sourceLineNo">1057</span>            if (!getRawType(type).isInterface()) {<a name="line.1057"></a>
<span class="sourceLineNo">1058</span>              builder.add(type);<a name="line.1058"></a>
<span class="sourceLineNo">1059</span>            }<a name="line.1059"></a>
<span class="sourceLineNo">1060</span>          }<a name="line.1060"></a>
<span class="sourceLineNo">1061</span>          return super.collectTypes(builder.build());<a name="line.1061"></a>
<span class="sourceLineNo">1062</span>        }<a name="line.1062"></a>
<span class="sourceLineNo">1063</span>      };<a name="line.1063"></a>
<span class="sourceLineNo">1064</span>    }<a name="line.1064"></a>
<span class="sourceLineNo">1065</span><a name="line.1065"></a>
<span class="sourceLineNo">1066</span>    final ImmutableList&lt;K&gt; collectTypes(K type) {<a name="line.1066"></a>
<span class="sourceLineNo">1067</span>      return collectTypes(ImmutableList.of(type));<a name="line.1067"></a>
<span class="sourceLineNo">1068</span>    }<a name="line.1068"></a>
<span class="sourceLineNo">1069</span><a name="line.1069"></a>
<span class="sourceLineNo">1070</span>    ImmutableList&lt;K&gt; collectTypes(Iterable&lt;? extends K&gt; types) {<a name="line.1070"></a>
<span class="sourceLineNo">1071</span>      // type -&gt; order number. 1 for Object, 2 for anything directly below, so on so forth.<a name="line.1071"></a>
<span class="sourceLineNo">1072</span>      Map&lt;K, Integer&gt; map = Maps.newHashMap();<a name="line.1072"></a>
<span class="sourceLineNo">1073</span>      for (K type : types) {<a name="line.1073"></a>
<span class="sourceLineNo">1074</span>        collectTypes(type, map);<a name="line.1074"></a>
<span class="sourceLineNo">1075</span>      }<a name="line.1075"></a>
<span class="sourceLineNo">1076</span>      return sortKeysByValue(map, Ordering.natural().reverse());<a name="line.1076"></a>
<span class="sourceLineNo">1077</span>    }<a name="line.1077"></a>
<span class="sourceLineNo">1078</span><a name="line.1078"></a>
<span class="sourceLineNo">1079</span>    /** Collects all types to map, and returns the total depth from T up to Object. */<a name="line.1079"></a>
<span class="sourceLineNo">1080</span>    private int collectTypes(K type, Map&lt;? super K, Integer&gt; map) {<a name="line.1080"></a>
<span class="sourceLineNo">1081</span>      Integer existing = map.get(this);<a name="line.1081"></a>
<span class="sourceLineNo">1082</span>      if (existing != null) {<a name="line.1082"></a>
<span class="sourceLineNo">1083</span>        // short circuit: if set contains type it already contains its supertypes<a name="line.1083"></a>
<span class="sourceLineNo">1084</span>        return existing;<a name="line.1084"></a>
<span class="sourceLineNo">1085</span>      }<a name="line.1085"></a>
<span class="sourceLineNo">1086</span>      int aboveMe = getRawType(type).isInterface()<a name="line.1086"></a>
<span class="sourceLineNo">1087</span>          ? 1 // interfaces should be listed before Object<a name="line.1087"></a>
<span class="sourceLineNo">1088</span>          : 0;<a name="line.1088"></a>
<span class="sourceLineNo">1089</span>      for (K interfaceType : getInterfaces(type)) {<a name="line.1089"></a>
<span class="sourceLineNo">1090</span>        aboveMe = Math.max(aboveMe, collectTypes(interfaceType, map));<a name="line.1090"></a>
<span class="sourceLineNo">1091</span>      }<a name="line.1091"></a>
<span class="sourceLineNo">1092</span>      K superclass = getSuperclass(type);<a name="line.1092"></a>
<span class="sourceLineNo">1093</span>      if (superclass != null) {<a name="line.1093"></a>
<span class="sourceLineNo">1094</span>        aboveMe = Math.max(aboveMe, collectTypes(superclass, map));<a name="line.1094"></a>
<span class="sourceLineNo">1095</span>      }<a name="line.1095"></a>
<span class="sourceLineNo">1096</span>      // TODO(benyu): should we include Object for interface?<a name="line.1096"></a>
<span class="sourceLineNo">1097</span>      // Also, CharSequence[] and Object[] for String[]?<a name="line.1097"></a>
<span class="sourceLineNo">1098</span>      map.put(type, aboveMe + 1);<a name="line.1098"></a>
<span class="sourceLineNo">1099</span>      return aboveMe + 1;<a name="line.1099"></a>
<span class="sourceLineNo">1100</span>    }<a name="line.1100"></a>
<span class="sourceLineNo">1101</span><a name="line.1101"></a>
<span class="sourceLineNo">1102</span>    private static &lt;K, V&gt; ImmutableList&lt;K&gt; sortKeysByValue(<a name="line.1102"></a>
<span class="sourceLineNo">1103</span>        final Map&lt;K, V&gt; map, final Comparator&lt;? super V&gt; valueComparator) {<a name="line.1103"></a>
<span class="sourceLineNo">1104</span>      Ordering&lt;K&gt; keyOrdering = new Ordering&lt;K&gt;() {<a name="line.1104"></a>
<span class="sourceLineNo">1105</span>        @Override public int compare(K left, K right) {<a name="line.1105"></a>
<span class="sourceLineNo">1106</span>          return valueComparator.compare(map.get(left), map.get(right));<a name="line.1106"></a>
<span class="sourceLineNo">1107</span>        }<a name="line.1107"></a>
<span class="sourceLineNo">1108</span>      };<a name="line.1108"></a>
<span class="sourceLineNo">1109</span>      return keyOrdering.immutableSortedCopy(map.keySet());<a name="line.1109"></a>
<span class="sourceLineNo">1110</span>    }<a name="line.1110"></a>
<span class="sourceLineNo">1111</span><a name="line.1111"></a>
<span class="sourceLineNo">1112</span>    abstract Class&lt;?&gt; getRawType(K type);<a name="line.1112"></a>
<span class="sourceLineNo">1113</span>    abstract Iterable&lt;? extends K&gt; getInterfaces(K type);<a name="line.1113"></a>
<span class="sourceLineNo">1114</span>    @Nullable abstract K getSuperclass(K type);<a name="line.1114"></a>
<span class="sourceLineNo">1115</span><a name="line.1115"></a>
<span class="sourceLineNo">1116</span>    private static class ForwardingTypeCollector&lt;K&gt; extends TypeCollector&lt;K&gt; {<a name="line.1116"></a>
<span class="sourceLineNo">1117</span><a name="line.1117"></a>
<span class="sourceLineNo">1118</span>      private final TypeCollector&lt;K&gt; delegate;<a name="line.1118"></a>
<span class="sourceLineNo">1119</span><a name="line.1119"></a>
<span class="sourceLineNo">1120</span>      ForwardingTypeCollector(TypeCollector&lt;K&gt; delegate) {<a name="line.1120"></a>
<span class="sourceLineNo">1121</span>        this.delegate = delegate;<a name="line.1121"></a>
<span class="sourceLineNo">1122</span>      }<a name="line.1122"></a>
<span class="sourceLineNo">1123</span><a name="line.1123"></a>
<span class="sourceLineNo">1124</span>      @Override Class&lt;?&gt; getRawType(K type) {<a name="line.1124"></a>
<span class="sourceLineNo">1125</span>        return delegate.getRawType(type);<a name="line.1125"></a>
<span class="sourceLineNo">1126</span>      }<a name="line.1126"></a>
<span class="sourceLineNo">1127</span><a name="line.1127"></a>
<span class="sourceLineNo">1128</span>      @Override Iterable&lt;? extends K&gt; getInterfaces(K type) {<a name="line.1128"></a>
<span class="sourceLineNo">1129</span>        return delegate.getInterfaces(type);<a name="line.1129"></a>
<span class="sourceLineNo">1130</span>      }<a name="line.1130"></a>
<span class="sourceLineNo">1131</span><a name="line.1131"></a>
<span class="sourceLineNo">1132</span>      @Override K getSuperclass(K type) {<a name="line.1132"></a>
<span class="sourceLineNo">1133</span>        return delegate.getSuperclass(type);<a name="line.1133"></a>
<span class="sourceLineNo">1134</span>      }<a name="line.1134"></a>
<span class="sourceLineNo">1135</span>    }<a name="line.1135"></a>
<span class="sourceLineNo">1136</span>  }<a name="line.1136"></a>
<span class="sourceLineNo">1137</span>}<a name="line.1137"></a>




























































</pre>
</div>
</body>
</html>
